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