diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:53:35 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:53:35 +0100 |
| commit | 9c573f3c0567f2787a89bc60948d91e0c279b963 (patch) | |
| tree | 3053f1c81f4bb00a84019d4723f9a5b2d3cc6ccd /src/Core/Context.idr | |
| parent | 032a65f07bc5be170b1ccfe2338d4c9285e933c8 (diff) | |
Fix operator fixities and imports for Name.
Diffstat (limited to 'src/Core/Context.idr')
0 files changed, 0 insertions, 0 deletions