diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-23 13:40:56 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-23 13:48:37 +0100 |
| commit | c1fd3d1066a7863c9b240c1ecf71da9344f32fc5 (patch) | |
| tree | 77fd22eb432a8efd056680154283aa8d36eca2aa /test/Main.hs | |
| parent | 0e649d03ef60bcedcff27bb95bc977d801624817 (diff) | |
Let typeCheck? provide type equality and remove coe1 calls
that are now unnecessary.
Diffstat (limited to 'test/Main.hs')
0 files changed, 0 insertions, 0 deletions