Quick and dirty fix to be compatible with the new Relation API in stdlib - Githubissues

frex-project / idris-frex

Other

46 stars 9 forks source link

Quick and dirty fix to be compatible with the new Relation API in stdlib #31

Closed ohad closed 3 years ago

ohad commented 3 years ago

https://github.com/idris-lang/Idris2/commit/61b9a3e4e5c98d494223afe48148bbfd56fd56c9