tracking link

Type theory with Agda
2024-04-29 14:42:34 -04:00 · 2024-04-25 20:32:03 +00:00 · 2024-04-29 14:42:34 -04:00 · 2022-10-13 01:53:13 -05:00 · 2024-04-22 01:44:06 +00:00 · 2023-04-10 13:39:17 -05:00
diff --git a/Michael Zhang b/Michael Zhang
Michael Zhang 2be3dadbc8 tracking link		2024-04-29 14:42:34 -04:00
.vscode	auto gitdoc commit	2024-04-25 20:32:03 +00:00
src	tracking link	2024-04-29 14:42:34 -04:00
.gitignore	wtf	2022-10-13 01:53:13 -05:00
README.md	auto gitdoc commit	2024-04-22 01:44:06 +00:00
cubical-playground.agda-lib	commit	2023-04-10 13:39:17 -05:00