Skip to content

Commit 5c8951f

Browse files
jespercockxjespercockx
committed
deploy: 980c6f6 
1 parent 4c864f1 commit 5c8951f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

47 files changed

+0
-3859
lines changed

‎lib/Agda.Builtin.Bool.html‎

Lines changed: 0 additions & 17 deletions
This file was deleted.

‎lib/Agda.Builtin.Char.html‎

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎lib/Agda.Builtin.Equality.html‎

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)