Frege/frege-gradle-plugin

Update to use Frege 3.22.524

mperry opened this issue · 1 comments

mperry commented

I suspect Frege/frege-interpreter#19 addresses both 17 and 18 above and this can now progress.