https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html

https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html

Last synced: 4 months ago
JSON representation