https://github.com/thufschmitt/tix

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

nix nixos type-system wip

Last synced: 3 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2019-07-11T08:00:23.000Z (over 5 years ago)
• Last Synced: 2024-10-11T23:46:36.844Z (4 months ago)
• Topics: nix, nixos, type-system, wip
• Language: OCaml
• Size: 266 KB
• Stars: 61
• Watchers: 9
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project