May 15, 2016 06:41
А никто не знает - на ней хоть какие-то более или менее реальные программы писали, не обязательно сложные - на крайний случай и Тетрис какой-нибудь сойдет, но именно реальные.
PS: И тот же вопрос про Idris, хотя тут менее интересно.
Leave a comment
Comments 10
Reply
Из-за его строгости по умолчанию? ;-)
Reply
Reply
Reply
Reply
Reply
Reply
Reply
Leave a comment