diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-02-01 15:23:47 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-02-02 13:32:49 +0000 |
| commit | 6dde244c14410ede6d41e9a8607016e23c19e320 (patch) | |
| tree | d693694f65706b9653489effd15f27a40406ae43 /src/SOAS/Syntax.idr | |
| parent | d90419ce0740331c8ef9ecdd77e875b3367331d3 (diff) | |
Split monolithic file into modules.
Prove metatheory for generic initial algebras, instead of a clunky
concrete one.
Diffstat (limited to 'src/SOAS/Syntax.idr')
0 files changed, 0 insertions, 0 deletions