Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
.npmignore		.npmignore
.travis.yml		.travis.yml
Makefile		Makefile
README.md		README.md
index.js		index.js
package.json		package.json

Repository files navigation

quive-type

Haskell-like type system in JavaScript.

About

Lambda calculus-based type system in JavaScript

Custom properties

3 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages