https://github.com/tazjin/yants

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
https://github.com/tazjin/yants

nix nixos nixpkgs type-safety type-system

Last synced: 15 days ago
JSON representation

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

• Host: GitHub
• URL: https://github.com/tazjin/yants
• Owner: tazjin
• Archived: true
• Created: 2019-08-28T13:25:05.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-12-20T21:56:00.000Z (about 5 years ago)
• Last Synced: 2025-01-19T21:16:25.483Z (16 days ago)
• Topics: nix, nixos, nixpkgs, type-safety, type-system
• Homepage:
• Size: 304 KB
• Stars: 37
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
**YANTS** is Yet Another Nix Type System.

Its code **has moved** to `//depot/nix/yants` on [git.tazj.in][]. At this point

most of my software (unless it lives in other organisations) is no longer

developed on GitHub.

If you are looking for an issue tracker, issues and patches for my projects are

tracked at [[email protected]][] (which is also the email address that you can send

issues and patches to).

[git.tazj.in]: https://git.tazj.in/tree/nix/yants

[[email protected]]: https://groups.google.com/a/tazj.in/forum/?hl=en#!forum/depot