idris-codegen-wasm icon indicating copy to clipboard operation
idris-codegen-wasm copied to clipboard

verified publisher icon SPY
→

Metadata

WebAssembly Code Generation Backend for Idris Compiler

Results 1 idris-codegen-wasm issues
Sort by recently updated
recently updated
newest added

What is the current status?

2 comment

I came across this project as an experimental idris -> wasm compiler a year or two ago. And saw the related https://github.com/SPY/haskell-wasm I recently actually started working much with wasm...

ethanfrey avatar ethanfrey

← Metadata

83
Stars
3
Forks
Watchers

Owner

verified publisher icon SPY

Metadata

WebAssembly Code Generation Backend for Idris Compiler

Back