about summary refs log tree commit diff
path: root/yants.md
diff options
context:
space:
mode:
Diffstat (limited to 'yants.md')
-rw-r--r--yants.md16
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
+
+![simple](https://i.imgur.com/hDQAQUK.png)
+
+## Structs
+
+![structs](https://i.imgur.com/f8jgnul.png)
+
+## Nested structs!
+
+![nested structs](https://i.imgur.com/O3RsHds.png)
\ No newline at end of file