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
Age
Commit message (
Expand
)
Author
2012-01-19
added .gitignore
Helmut Grohne
[prev]
