diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-05 20:18:17 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-05 20:18:17 +0100 |
| commit | aaeb5a3572e96e32abbad5a137f5fc14575a8d66 (patch) | |
| tree | f5ecbcad5214289a8f11dfa8a28b1cc221e9c591 /src/Cfe/Judgement/Base.agda | |
| parent | da429008d25ac87ec67a4fb18a5cbee0ba756bcf (diff) | |
Add some missing properties for singleton languages.
Diffstat (limited to 'src/Cfe/Judgement/Base.agda')
0 files changed, 0 insertions, 0 deletions