search

disco-lang / disco

Functional teaching language for use in a discrete mathematics course
Other
164 stars 23 forks source link

Drop dependency on `polysemy-zoo` #375

Closed byorgey closed 6 months ago

byorgey commented 9 months ago

polysemy-zoo hasn't been updated in a while and only builds with GHC <= 9.4. We should probably see about removing it as a dependency.