index
:
B
master
a new way to look at the Agda standard library
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.gitignore
blob: 1c5bf9e564c6bf2c25969a2b28a8bd81ba727b7c (
plain
)
1
2
3
4
5
6
7
8
9
# -*- conf -*- # Editor backup files *~ \#* .\#* # Agda *.agdai