Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen(haskelldc.github.io)
haskelldc.github.io
Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen
http://haskelldc.github.io/idris-drc-3-26-14/
0 comments
—