Move benchmark configs to effekt - Githubissues

effekt-lang / effekt-plots

https://effekt-lang.github.io/effekt-plots/

1 stars 0 forks source link

Move benchmark configs to effekt #4

Closed marvinborner closed 2 months ago

marvinborner commented 2 months ago

This is related to https://github.com/effekt-lang/effekt/pull/567 and should be merged in parallel.