Computer Science researcher, Haskell programmer, language designer, Idris implementer
Member for 7 years, 3 months
0 profile views
Last seen Mar 25 '13 at 20:04
Top network posts
- 189 Differences between Agda and Idris
- 51 What can Idris not do by giving up Turing completeness?
- 42 Idris eager evaluation
- 21 Doing rank-n quantification in Idris
- 17 Is Idris really "strictly evaluated?"
- 16 Idris vectors vs linked lists
- 10 Is there a nice way to use `->` directly as a function in Idris?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Sep 24 '14