Dependent Types now almost batteries-included in GHC Haskell (ucsd-progsys.github.io) 6 points by ghostwriter 6y ago ↗ HN
0 comments
[ 4.2 ms ] story [ 21.0 ms ] threadNo comments yet.