How to implement dependent types in 80 lines of codegist.github.com3 points·Hirrolot··0 commentsOpen articleSaveView on HN