I am so excited! My bachelor student Domantas Jadenkus implemented (a very basic, but still...) WebAssembly backend for Blodwen (Idris2): https://github.com/jDomantas/idris-wasm … @edwinbrady
-
-
-
Replying to @edwinbrady @poznia
I was aiming just for working codegen (and then did a bit of formal verification), so it wasn't benchmarked at all.
1 reply 0 retweets 1 like
Replying to @jDomantas @poznia
Fair enough! It looks like it wouldn't be too hard to integrate it when the time comes so it's really nice to see that it's working.
2:09 PM - 31 May 2019
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.