Massive news for #Haskell, its main compiler #GHC will soon have the option to compile to #JavaScript! This was previously only possible by using GHCJS which was a fork of GHC, a couple of versions behind GHC in features, etc. engineering.iog.io/2022-12-13-ghc… (nest.jakl.one/notes/2022-12-…)

Massive news for #Haskell, its main compiler #GHC will soon have the option to compile to #JavaScript! This was previously only possible by using GHCJS which was a fork of GHC, a couple of versions behind GHC in features, etc. engineering.iog.io/2022-12-13-ghc… (nest.jakl.one/notes/2022-12-…)

The diagram should commute.

How about Agda that models WASM?

So now the question is if it is better to go agda->hs and then hs->js or just straight agda->js 😀

Did you know that Agda also compiles to Javascript, for quite a few years already? I never tried it, though. I think the concept is outrageous. :-)