diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-24 15:30:30 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-04-24 15:30:30 +0100 |
| commit | 0708355c7988345c98961cad087dc56eeb16ea7f (patch) | |
| tree | 76f4e4ef3f7a0eb0cf3f40d3d58e3563287044c4 /src/Cfe/Type.agda | |
| parent | c58866bea6ee251868d98a3da11f64030bb00aa7 (diff) | |
Cleanup Derivation.cleanup
Diffstat (limited to 'src/Cfe/Type.agda')
0 files changed, 0 insertions, 0 deletions