search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

Investigate size increase #131

Open nomeata opened 2 years ago

nomeata commented 2 years ago

After updating to unbound-generics, and upgrading to ghcjs-8.10, the logic.js seems to have grown from 4MB to 13MB. Ok, but not great. Maybe worth investigating.

nomeata commented 2 years ago

This is probably https://github.com/ghcjs/ghcjs/issues/821