diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-18 21:09:33 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-18 21:09:33 +0000 |
| commit | 9452d3aee15b8943684828320324b3da37efb397 (patch) | |
| tree | 2a003869b12291afed6b01215fb4177bd2d05c0f /src/Obs/Term.idr | |
| parent | ff4c5f15f354aa8da7bb5868d913dbbef23832a3 (diff) | |
Introduce better logging.
Led to immediate bug fixes for Pi types.
Diffstat (limited to 'src/Obs/Term.idr')
0 files changed, 0 insertions, 0 deletions