deploy: 3ca7265

agda · Jul 23, 2024 · a195f19 · a195f19
1 parent bafc940
commit a195f19
Show file tree

Hide file tree

Showing 47 changed files with 0 additions and 3,633 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