deploy: 22f37f5

agda · Sep 20, 2024 · 78d38e8 · 78d38e8
1 parent 852beaa
commit 78d38e8
Show file tree

Hide file tree

Showing 666 changed files with 0 additions and 27,729 deletions.
diff --git a/lib/Agda.Builtin.Bool.html b/lib/Agda.Builtin.Bool.html
diff --git a/lib/Agda.Builtin.Char.html b/lib/Agda.Builtin.Char.html
diff --git a/lib/Agda.Builtin.Equality.html b/lib/Agda.Builtin.Equality.html