README
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
nix
nixos
type-system
wip
Contributors
thufschmitt
272 commits
Similar repos
Languages
OCaml
98.0%
Nix
1.7%
README
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
nix
nixos
type-system
wip
Similar repos
Contributors
thufschmitt
272 commits
Languages
OCaml
98.0%
Nix
1.7%