Closed MarisaKirisame closed 7 years ago
https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html
https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html