diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-28 02:46:50 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-28 03:01:55 +0000 |
| commit | 5052a3f5ddf5cc65bb5a19e644b01694ba34d0f5 (patch) | |
| tree | c5bd19c15db0d3c6d1d6a793719c44f34cd658df /Everything.agda | |
| parent | 87913c4014f01a23d608457e379b74aa1befd4ab (diff) | |
Make the denotational semantics total.
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions