Idris

2021

• Development Вышла новая версия 0.4.0 языка программирования Idris 2 (15 комментариев)
• Development Зависимые типы, жидкие типы. Что лучше? (283 комментария)
• Development Вышел новый релиз Idris 2 версии 0.3.0 (19 комментариев)

2020

• Development Idris 2 почти готов для интерпрайза (1 комментарий)
• Talks Как вам борщ²? (63 комментария)
• Development В Идрис 2 завезли Жабаскрипт кодогенератор (31 комментарий)
• Development Вышел Idris 2 версия 0.2.0 (13 комментариев)
• Talks Idris 2 теперь стал self-hosted (5 комментариев)

2019

• Development Пруфы и Петросянство (31 комментарий)
• Development Стали доступны исходные коды Idris 2 (31 комментарий)

2018

• Talks Накидайте книжек по теории типов (33 комментария)
• Development Как вы дебажите код написанный на этих ваших чистых ФП языках? (30 комментариев)

2017

• Development Польза зависимых типов (22 комментария)
• Development Idris meets CL (11 комментариев)
• Development Есть ли для Haskell библиотека для представления монетарных величин (4 комментария)
• Development Idris & Unicode (11 комментариев)
• Development Idris & JVM (14 комментариев)
• Development Тупняк и Idris (3 комментария)
• Development Стоит ли изучать Idris (вместо Haskell)? (42 комментария)
• Talks Idris 1.0 (2 комментария)