Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 February 13

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
есть даже твич канал где идрис разрабатывают три раза в неделю
о прикольно
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
удоли
простите
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
правильная ссылка https://github.com/edwinb/Idris2
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Alex Gryzlov
удоли
черт. я ничайно нажал на линк
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ага, вот этот же хотел кинуть
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
т.е первый уже заброшен?
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Pavel
черт. я ничайно нажал на линк
это старая бета версия второго идриса, живая по моей ссылке
источник

R

RattenKonig 🍄🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
)
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Pavel
черт. я ничайно нажал на линк
есть еще чатек в телеге по зав типам
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
если вдруг он мимо пролетел
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Daniel Matveev
есть еще чатек в телеге по зав типам
я его видел, но я слишком тупой что бы читать его
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Pavel
я его видел, но я слишком тупой что бы читать его
я тож, но читаю
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
любопытство должно быть сильнее страха
источник

P

Pavel in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
и то верно, дай линку
источник

DM

Daniel Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
сказал хомяк, пробуя очередной провод
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ХОТИТЕ НАСТОЯЩЕГО ВЭЛЬЮ?
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Aλeksei Tereχin
ХОТИТЕ НАСТОЯЩЕГО ВЭЛЬЮ?
Важно!
источник

AT

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Pavel
т.е первый уже заброшен?
ну он немного ментейнится, и в целом стабильнее второго идриса, но таки основная разработка во втором
источник