search

frex-project / idris-frex

Other
46 stars 9 forks source link

[ upstream ] moving Eq implementations to `base` #64

Closed gallais closed 2 years ago

gallais commented 2 years ago

Eq is a fundamental interface and the implementation breaks every time TTImp changes so we may as well upstream the content.

Cf. https://github.com/idris-lang/Idris2/pull/2423

doctorn commented 2 years ago

This is amazing thank you