projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51dad2e) | patch
resolve ambiguity in BFFPlug
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200)
commitf9fc1aba9386216a6a01ba17d85fcae71756d928
tree723a6b00a3baa12e618839f1e0de5f852aff1b99tree | snapshot
parent51dad2ec627203822e1879e3d58ae5331e58d414commit | diff
resolve ambiguity in BFFPlug

Fixes compilation with Agda 2.4.2.
BFFPlug.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)