diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 16:24:02 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-05 16:24:02 +0000 |
| commit | 701c0a2740b80bfb7f01fa426d18ef656a81f84d (patch) | |
| tree | 8f2a9242fc53e65d5eac928e7d9914cb88757f43 /src/Cfe/Expression/Properties.agda | |
| parent | a2bca9eb599e8109ba91e257ee223b39f64703c1 (diff) | |
Add lifted types.
Diffstat (limited to 'src/Cfe/Expression/Properties.agda')
0 files changed, 0 insertions, 0 deletions