deploy: 078622c

agda · Sep 19, 2024 · f44bdff · f44bdff
1 parent 41cb2b6
commit f44bdff
Show file tree

Hide file tree

Showing 666 changed files with 0 additions and 27,696 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