diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-09 16:09:37 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-09 16:09:37 +0200 |
| commit | dbad09a8a5843e91f862657c3011ec7f63ea819b (patch) | |
| tree | 4e94ce24ca4b9dcaad1378576d1352caf8209de7 /Bidir.agda | |
| parent | 94f6fbed8b04e95446c38d6ea89dcc9c3a64304b (diff) | |
| download | bidiragda-dbad09a8a5843e91f862657c3011ec7f63ea819b.tar.gz | |
drop the Function.Equality requirement from GetTypes
We never used the equality property. Thus a simple function is
sufficient here. We always fulfilled the property using ≡-to-Π anyway.
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions