diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 00:10:08 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 00:10:08 +0000 |
| commit | 9c5540562f53be81bfb03ef2b96d7f59b3ddea44 (patch) | |
| tree | ecf02b8237a4f95f57ba312637692aa6d208bb98 /src/Cfe/Language/Construct/Union.agda | |
| parent | 5302e4a27a64cb2a97120517df4b6998da7b3168 (diff) | |
Separate out some Language properties.
Diffstat (limited to 'src/Cfe/Language/Construct/Union.agda')
0 files changed, 0 insertions, 0 deletions