projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df9a08b) | patch
s/generate/restrict/g
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:01:38 +0000 (16:01 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:01:38 +0000 (16:01 +0100)
commit7673d048da79e050474c4396bcbd57f2632bd939
tree94911d494fd86c2ff995689c858060dd843ac893tree | snapshot
parentdf9a08b332fff377d06d973535017d891f5a3416commit | diff
s/generate/restrict/g

The name was deemed misleading. Nothing else changed.
Bidir.agda diff | blob | history
FinMap.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)