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