Dependent Haskell

Article URL: https://serokell.io/blog/2018/12/17/why-dependent-haskell

Comments URL: https://news.ycombinator.com/item?id=18703245

Points: 40

# Comments: 13

from Hacker News: Front Page https://ift.tt/2S76kWv
via