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
Mode
Name
Size
-rw-r--r--
.gitignore
11
log
plain
