diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-21 14:48:35 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-21 14:48:35 +0000 |
| commit | c25d3de0bc41ed7f09ccda97b1cf16dfda09220c (patch) | |
| tree | 969b3c9cc4464b3cbc67f28f1d1730dc4ccc49d9 /src/Helium/Semantics/Axiomatic/Core.agda | |
| parent | 281a29f01346bd2f00fbaca8391f38d856a45d6d (diff) | |
Introduce tuple deconstructor expressions
Diffstat (limited to 'src/Helium/Semantics/Axiomatic/Core.agda')
0 files changed, 0 insertions, 0 deletions