Jan 20, 2013 08:03
линейная алгебра, математика, Хаскель
Leave a comment
Reply
(The comment has been removed)
Comments 8
Reply
Хаскель и Агда давно поддерживают Юникод: https://bitbucket.org/vkomenda/agda-ru/src/6fde1c290f18865962e4c128aa24ada1c07af8ea/src/%D0%91%D1%83%D0%BB%D0%B5%D0%B2%D0%B0%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0.agda?at=master
;)
Reply
Reply
А такой сермяжный язык. ;)
Reply
(The comment has been removed)
Reply
Leave a comment