diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:43:29 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:43:29 +0000 |
| commit | 232857131888607ee3cd2ae4a5ccdc14e0c6f015 (patch) | |
| tree | dd425cba1480cceedcce1c166030dd187ecc402c /src/Obs/Substitution.idr | |
| parent | b882d95eb08fea2341bcfa6b41aa06e060cde1ec (diff) | |
Define conversion from raw to abstract syntax.
Diffstat (limited to 'src/Obs/Substitution.idr')
0 files changed, 0 insertions, 0 deletions