Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen (haskelldc.github.io) 2 points by gmoes 12y ago ↗ HN
0 comments
[ 3.1 ms ] story [ 8.8 ms ] threadNo comments yet.