projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96e45ec) | patch
move all postulates to one module
authorHelmut Grohne <helmut@subdivi.de>
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200)
commit7ba21759412a8b356f7790ac5f5e413302331183
tree58b2f83f1abe029596071e0b151470b122e72102tree | snapshot
parent96e45ecbf31c5685fa914882ec4b21b1392c49fccommit | diff
move all postulates to one module

This should make it easier to see what is assumed.
BFF.agda diff | blob | history
Bidir.agda diff | blob | history
FreeTheorems.agda [new file with mode: 0644] blob
LiftGet.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)