diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-10 17:26:30 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-09-10 17:26:30 +0100 |
| commit | 567e5b489525b43a19d0fe8c4f1f84abf7c56167 (patch) | |
| tree | 8ea866abc323676f7b4ad894ef2bae92ada703de /src/Data | |
| parent | 3a23bd851fc1a5d6e161dabc8a13f06bc8544a1d (diff) | |
Make arrows binary, not n-ary.
Define decidable equality.
Diffstat (limited to 'src/Data')
0 files changed, 0 insertions, 0 deletions