Eta/Frege front-end

[romac]

Eta: Blocked by https://twitter.com/rahulmutt/status/1113791731772743680

[vkuncak]

With @redelmann 's new parsing combinator library we should be able to have an alternative Haskhellish front end rather quickly.

[romac]

Yeah I am hoping to be able to implement #494 and/or merge the WASM backend + add WASI [0] support so that we can have our own little and lightweight language, tailored to the features we support well in Stainless. [0] https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/

…

On 17 May 2019, at 17:51, Viktor Kuncak ***@***.***> wrote: With @redelmann 's new parsing combinator library we should be able to have an alternative Haskhellish front end rather quickly. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

[vkuncak]

Did you see Z3 compiled to WASM?

https://github.com/cpitclaudel/z3.wasm