diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 16:02:33 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:37:02 +0000 |
| commit | e42f16505814d2995f771581424b2ebbfb402a49 (patch) | |
| tree | ee6797a67bb2cf0b39adbc4cbfc6a9cb8b562ec4 /src/Obs/Sort.idr | |
| parent | 6b7f7a0ad56a9500f592180c7b7c91b2b6a9acb9 (diff) | |
Define normal form.
Diffstat (limited to 'src/Obs/Sort.idr')
0 files changed, 0 insertions, 0 deletions