diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:36:21 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:37:02 +0000 |
| commit | 6b7f7a0ad56a9500f592180c7b7c91b2b6a9acb9 (patch) | |
| tree | 947b70d49e4c0532ff57d1c46ce40456ba258bcb /src/Obs/Main.idr | |
| parent | 232857131888607ee3cd2ae4a5ccdc14e0c6f015 (diff) | |
Define substitution interfaces.
Diffstat (limited to 'src/Obs/Main.idr')
0 files changed, 0 insertions, 0 deletions