Skip to content

Commit 6a2726a

Browse files
jespercockxjespercockx
committed
deploy: bb5f086 
1 parent 983a3b5 commit 6a2726a

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)