Michael Zhang 4d8e83a74a works		2024-09-12 19:43:27 -05:00
..
.gitignore	initial	2024-09-12 18:38:07 -05:00
index.test.ts	works	2024-09-12 19:43:27 -05:00
Simple.lagda.md	works	2024-09-12 19:43:27 -05:00