diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-12 17:56:11 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-12 17:56:11 +0000 |
| commit | bfba6b295a8cdf7321d939f22fbdd04d45408e63 (patch) | |
| tree | 21ffcca0da42cebcd911c4007e092c6b68d3d877 /src/Obs/Typing/Context.idr | |
| parent | de4275d9728104167726bda4d260c197a40ff3d7 (diff) | |
Fix bug in equality for pi types.
Diffstat (limited to 'src/Obs/Typing/Context.idr')
0 files changed, 0 insertions, 0 deletions