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