diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-06 16:14:54 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-06 16:14:54 +0100 |
| commit | 337615b3beb2e0440c2374724fae09d7ec384952 (patch) | |
| tree | 7d22846fcd082de41c7cb48668a1d6fea2b37e09 /src/Cfe/Judgement.agda | |
| parent | e890218fab378f8e427d2d3c046875128a23d50b (diff) | |
Cleanup Type base.
Diffstat (limited to 'src/Cfe/Judgement.agda')
0 files changed, 0 insertions, 0 deletions