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 /obs.ipkg | |
| parent | ff4c5f15f354aa8da7bb5868d913dbbef23832a3 (diff) | |
Introduce better logging.
Led to immediate bug fixes for Pi types.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,6 +9,7 @@ main = Obs.Main modules = Obs.Abstract + , Obs.Logging , Obs.Main , Obs.NormalForm , Obs.Parser |