https://github.com/thufschmitt/tix

[WIP] A type system for nix
https://github.com/thufschmitt/tix

nix nixos type-system wip

Last synced: 7 months ago
JSON representation

[WIP] A type system for nix

• Host: GitHub
• URL: https://github.com/thufschmitt/tix
• Owner: thufschmitt
• Created: 2017-04-13T15:12:35.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-07-11T08:00:23.000Z (over 6 years ago)
• Last Synced: 2025-03-01T00:55:43.721Z (8 months ago)
• Topics: nix, nixos, type-system, wip
• Language: OCaml
• Size: 266 KB
• Stars: 61
• Watchers: 9
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

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

% tix

% A (wip) type-inference engine for [nix](https://nixos.org/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

```