diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:59:28 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:59:28 +0000 |
| commit | f335074a07d0a7aa8332d384757929f8c65dc4cd (patch) | |
| tree | 191a69b67ded6df45e35967efcf8004aac15026f /src/Soat/FirstOrder/Signature.idr | |
| parent | bfac93dbe8c98d193feb165a088c6a7c79382d27 (diff) | |
refactor: expand flip in most places.
Diffstat (limited to 'src/Soat/FirstOrder/Signature.idr')
0 files changed, 0 insertions, 0 deletions