diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 15:33:06 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 15:33:06 +0200 |
| commit | 91db824bfa4d66f29066a381e88e6e3125e15576 (patch) | |
| tree | 4780568bd65d1e68a12f02b6fd22a83acb0ed6be /Examples.agda | |
| parent | 9d97d3c3cb339b3e78257d19e383df4d3f5bcc74 (diff) | |
| download | bidiragda-91db824bfa4d66f29066a381e88e6e3125e15576.tar.gz | |
fix compilation for Agda 2.3.0.1 again
It fails to infer the type of MaybeFunctor._<$>_, so give it explicitly.
Diffstat (limited to 'Examples.agda')
0 files changed, 0 insertions, 0 deletions