Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "type-checker" keyword

hypertypes 0.2.2 💰

Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme
3 versions - Latest release: 10 months ago - 1 dependent repositories - 368 downloads total - 106 stars on GitHub - 1 maintainer

Related Keywords

algorithms 1 bsd3 1 compilers-interpreters 1 language 1 library 1 logic 1 unification 1 programming-language-development 1 programming-languages 1 type-inference 1