diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-19 16:06:57 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-19 16:06:57 +0000 |
| commit | 5250643e58e3eb4d277178f06c8984027ca3e01a (patch) | |
| tree | d9be759721ba9ec20e43b7905d2f4e5881a7e6bb /Everything.agda | |
| parent | ad5322977632dd2dcec7cb75082d5c128b4a8bd5 (diff) | |
Unalias bit type.
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions