diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 14:57:08 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-01 14:57:08 +0100 |
| commit | b6fc70ab061b10983458d6331685c111b47af75b (patch) | |
| tree | c73d63f7838cc2fbba650e50976cecf5dbde2a34 /src/Core/Context.idr | |
| parent | 5bcb0623a1b15aa2a46ab3a922c0f4b500d7d8e6 (diff) | |
Make type of comp more precise.
This is in anticipation of a proof that composition preserves IsNotId.
Diffstat (limited to 'src/Core/Context.idr')
0 files changed, 0 insertions, 0 deletions