diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-20 18:23:23 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-20 18:23:23 +0000 |
| commit | f81f771877b77ca1c6a6278d21153fa1c3df8d83 (patch) | |
| tree | 5ef00c850180e538f069752ff2f44a658b49e8b0 /src/Helium/Semantics/Denotational/Core.agda | |
| parent | 55e7c3cd0f2c3213bf36a2e6dadc1f26dcb877b5 (diff) | |
Extract structures shared by most binary vector operations.
This is the extraction promised a couple of commits ago.
Diffstat (limited to 'src/Helium/Semantics/Denotational/Core.agda')
0 files changed, 0 insertions, 0 deletions