diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-09-26 13:02:25 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-09-26 13:02:25 +0200 |
| commit | f9fc1aba9386216a6a01ba17d85fcae71756d928 (patch) | |
| tree | 723a6b00a3baa12e618839f1e0de5f852aff1b99 /GetTypes.agda | |
| parent | 51dad2ec627203822e1879e3d58ae5331e58d414 (diff) | |
| download | bidiragda-f9fc1aba9386216a6a01ba17d85fcae71756d928.tar.gz | |
resolve ambiguity in BFFPlug
Fixes compilation with Agda 2.4.2.
Diffstat (limited to 'GetTypes.agda')
0 files changed, 0 insertions, 0 deletions