Hacker Neus
Why don't you use dependent types?
(lawrencecpaulson.github.io)
263 points
by baruchel
a day ago |
106 comments
