Schrottkatze 22a655fd24 write initial type signature notation proposal		2024-01-10 12:45:41 +01:00
..
type-notation.typ	write initial type signature notation proposal	2024-01-10 12:45:41 +01:00
types.typ	add typst design document stuff	2024-01-01 23:34:34 +01:00