explore type checking algorithms

lamg · lamg · commit 453b2cee7e31 · 2025-08-23T12:29:52.000+02:00
diff --git a/documents/design/todo.md b/documents/design/todo.md
@@ -0,0 +1,3 @@
+# TODO
+
+- explore [type checking algorithms](https://sdiehl.github.io/typechecker-zoo/)

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# TODO`
	`2`	`+`
	`3`	`+- explore [type checking algorithms](https://sdiehl.github.io/typechecker-zoo/)`