Skip to content

Commit ca59a51

Browse files
jespercockxjespercockx
committed
deploy: 401ad9c 
1 parent 4df29f4 commit ca59a51

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)