Jeremy W. Sherman
stay a while, and listen
idris-lang
An Idris metaprogramming “hello world”
10 Oct 2015
Where to?
Home
All Categories
All Tags
About
Blog Roll
Tools
Talks
Papers
Posts
Elsewhere
Pnut.io
Twitter
GitHub
GitLab
Bitbucket
LinkedIn
StackExchange