diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:07:32 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-11-25 15:07:32 +0000 |
| commit | d7fa1ccbbb6dcf78d16b8adfeab4e1a167a2f0b3 (patch) | |
| tree | b1edf7ec9dcd3d12350ab8465034cf35546e074c /src/Soat/SecondOrder/Signature.idr | |
| parent | 466a0a43490abf471ee879571f0faf40343c37c4 (diff) | |
refactor: rename bind -> bindHomo.
Diffstat (limited to 'src/Soat/SecondOrder/Signature.idr')
0 files changed, 0 insertions, 0 deletions