Commit Graph

4 Commits

Author SHA1 Message Date
6cff0d8836 indentation issue 2023-12-19 18:27:42 +01:00
2877fe103f add html 2023-12-11 20:05:41 +01:00
0acc4dbba4 Add agda, nix 2023-11-12 14:36:27 +01:00
f193be1731 First commit 2023-11-12 00:21:50 +01:00