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: about 1 month ago
JSON representation