diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-27 20:32:03 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-03-27 20:32:03 +0000 |
| commit | adad5280af0d81a2f171df619e9c7169dcb43a02 (patch) | |
| tree | c537696feea2aec1688d398bf5fd93e76f72c702 /src/Cfe/Expression.agda | |
| parent | c67134fc5cb9e338cb397df029e5528d469771d4 (diff) | |
Introduce non-terminating proof of derivation existence.
Diffstat (limited to 'src/Cfe/Expression.agda')
0 files changed, 0 insertions, 0 deletions