diff options
| author | Vincent Ambo <github@tazj.in> | 2019-08-08T01·15+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-08-28T13·35+0100 |
| commit | fe33a82a072bfe657f509bd9b7d756f10a92817f (patch) | |
| tree | 309c6f4ad2b9bca681032511e88bfb7aa61ab87d /yants.md | |
feat: Initial check-in of type system sketch
Diffstat (limited to 'yants.md')
| -rw-r--r-- | yants.md | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/yants.md b/yants.md new file mode 100644 index 000000000000..dcdea0bd38f7 --- /dev/null +++ b/yants.md @@ -0,0 +1,16 @@ +yants +===== + +This is a tiny type-checker for data in Nix, written in Nix. It doesn't have all the features I think it should have (yet), but it works and its types are composable. + +## Primitives & simple polymorphism + + + +## Structs + + + +## Nested structs! + + \ No newline at end of file |