search

nomeata / incredible

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

Use native JS backend #137

Open nomeata opened 1 year ago

nomeata commented 1 year ago

It seems with GHC 9.8 we no longer need the separate GHCJS project. Yay!

Since https://github.com/NixOS/nixpkgs/pull/208947 the JS backend is available in nixpkgs. Unfortunately, not everything works already, and also plenty of libraries have annoying upper bounds on base here. So maybe I’ll park this for a while.

ysangkok commented 2 months ago

I'd be curious to know what isn't working with the JS backend. If you still remember.

nomeata commented 2 months ago

No, sorry, I don't remember where I got stuck. Do you want to try?

ysangkok commented 2 months ago

Possibly, but I haven't used Nix for a long time, so first I have to figure out how the JavaScript backend works there.