index
:
~helmut/bidiragda.git
master
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)
Helmut Grohne
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.gitignore
blob: dfe49af29164ac756efd16ea104583c7b32aa7fe (
plain
)
1
2
*.agdai *~
