Skip to content

Commit f8952ac

Browse files
liesnikovliesnikov
committed
deploy: 9071626 
1 parent f7bab35 commit f8952ac

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)