tvl-depot/yants.md

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](z-simple.png)

## Structs

![structs](z-structs.png)

## Nested structs!

![nested structs](z-nested-structs.png)
feat: Initial check-in of type system sketch 2019-08-08 03:15:49 +02:00			`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`

chore: Move screenshots into the gist 2019-08-08 13:52:54 +02:00			`![simple](z-simple.png)`
feat: Initial check-in of type system sketch 2019-08-08 03:15:49 +02:00
			`## Structs`

chore: Move screenshots into the gist 2019-08-08 13:52:54 +02:00			`![structs](z-structs.png)`
feat: Initial check-in of type system sketch 2019-08-08 03:15:49 +02:00
			`## Nested structs!`

chore: Move screenshots into the gist 2019-08-08 13:52:54 +02:00			`![nested structs](z-nested-structs.png)`