projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d97d3c) | patch
fix compilation for Agda 2.3.0.1 again
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 13:33:06 +0000 (15:33 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 13:33:06 +0000 (15:33 +0200)
commit91db824bfa4d66f29066a381e88e6e3125e15576
tree4780568bd65d1e68a12f02b6fd22a83acb0ed6betree | snapshot
parent9d97d3c3cb339b3e78257d19e383df4d3f5bcc74commit | diff
fix compilation for Agda 2.3.0.1 again

It fails to infer the type of MaybeFunctor._<$>_, so give it explicitly.
Instances.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)