Ecosyste.ms: Packages

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

npmjs.org "Hindley-Midner" keyword

dak 0.1.3

Static type checker using Hindley–Milner type signatures
5 versions - Latest release: about 7 years ago - 2 dependent packages - 1 dependent repositories - 9 downloads last month - 5 stars on GitHub - 1 maintainer

Related Keywords

cli-app 1 cli 1 type 1 types 1 static type checker 1 type system 1