Livejournal
Log in
Post
Friends
My journal
thesz
В Agda2 появятся классы типов.
Apr 01, 2011 23:36
Народ теорию разработал
зависимые типы
,
языки программирования
Leave a comment
Read comments 9
Previous post
Next post
Up