a thoughtful web.
comments
posts
badges
Good ideas and conversation. No ads, no tracking.
Login
or
Take a Tour
!
#functional
followers: 2
activity
·
time
Idris: A Dependently Typed Programming Language
0
wildptr
idris-lang.org
·
#idris
·
#idris.wildptr
·
#functional
Not lisp again...
0
joelg236
funcall.blogspot.sg
·
#programming
·
#functional
about
tutorial
faq
rss
tmi
random
privacy & terms
weather
donate
login