Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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