diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-17 16:34:54 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-02-17 16:34:54 +0000 |
| commit | 60b201d0c8752b84194753bb72eee777bf245fe3 (patch) | |
| tree | 59a7eb2e8189ee84e7664dc1e562e88bbb09bac1 /src/Helium/Semantics/Core.agda | |
| parent | 273b6354ea17be93a0dfe4f50cd047b328762b02 (diff) | |
Make call and invoke take All instead of tuple.
Diffstat (limited to 'src/Helium/Semantics/Core.agda')
0 files changed, 0 insertions, 0 deletions