[WIP] A type system for nix
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
lib
src
tests
.gitignore
.ocplint
Makefile
README.md
onix.opam
shell.nix

README.md

Abandonned see https://github.com/regnat/ptyx

% tix % A (wip) type-inference engine for nix

There is currently not much, hardly a parser for a small subset of the language.

Build

Assuming you got nix installed on your computer, run nix-shell to enter a well-configured environment, and then:

$ make configure
$ make
$ make test