[ bump ] Bump compiler version for compat with newer `elab-util` - Githubissues

stefan-hoeck / idris2-hedgehog

An Idris port of the Haskell Hedghog library

BSD 2-Clause "Simplified" License

32 stars 3 forks source link

[ bump ] Bump compiler version for compat with newer `elab-util` #4

Closed buzden closed 3 years ago

stefan-hoeck commented 3 years ago

See comment at idris2-sop.