con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

GHC 9.0.1 default for develop shell (and direnv) #81

Closed wavewave closed 2 years ago

wavewave commented 2 years ago

GHC 9.0.1 is currently a sweet spot for common development env, so made it as a default shell. (nixos 22.05 default, categorifier-c is supported up to GHC 9.0.1 as of now and linear types and new stuff)