Dependent types with Idris

16 views
Skip to first unread message

Clement Delafargue

unread,
Apr 5, 2013, 6:22:24 AM4/5/13
to nant...@googlegroups.com
Un article très sympa sur les dependent types, illustré avec le langage Idris.

http://pragprog.com/magazines/2013-04/dependent-types
Reply all
Reply to author
Forward
0 new messages