diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:26:32 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:26:32 +0000 |
| commit | c13a509f5bbbe07d1e8899134a5385e1b72a9625 (patch) | |
| tree | 228ba5315fc68b4d2931e1f86bf189fb4f49a454 /src/Soat/FirstOrder/Term.idr | |
| parent | 6df261f1c09a4f4df9030375c6874f5c4c8e8f83 (diff) | |
Define wrap and unwrap.
Diffstat (limited to 'src/Soat/FirstOrder/Term.idr')
0 files changed, 0 insertions, 0 deletions