diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-18 10:45:35 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-18 10:45:35 +0000 |
| commit | ad5322977632dd2dcec7cb75082d5c128b4a8bd5 (patch) | |
| tree | 82844d4d25a6017713ed0da0a54f4a16d55f8fe9 /agda-helium.agda-lib | |
| parent | 60b201d0c8752b84194753bb72eee777bf245fe3 (diff) | |
Remove declare case of Procedure.
Diffstat (limited to 'agda-helium.agda-lib')
0 files changed, 0 insertions, 0 deletions