diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-16 18:45:27 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-16 18:45:27 +0000 |
| commit | 02a0f87be944b1d43fda265058b891f419d25b65 (patch) | |
| tree | a6b289f1055dfa26efe276c503851db785d47f98 /src/Cfe/Judgement.agda | |
| parent | 26925a4f41ed14881846648bf43448d07f1873d7 (diff) | |
Change Language definition to respects instead of custom congruence.
Diffstat (limited to 'src/Cfe/Judgement.agda')
0 files changed, 0 insertions, 0 deletions