https://github.com/spy/idris-codegen-wasm
WebAssembly Code Generation Backend for Idris Compiler
https://github.com/spy/idris-codegen-wasm
codegen idris wasm webassembly
Last synced: 11 months ago
JSON representation
WebAssembly Code Generation Backend for Idris Compiler
- Host: GitHub
- URL: https://github.com/spy/idris-codegen-wasm
- Owner: SPY
- Created: 2018-05-06T23:12:16.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2018-06-26T06:51:57.000Z (about 8 years ago)
- Last Synced: 2023-03-12T06:43:54.356Z (over 3 years ago)
- Topics: codegen, idris, wasm, webassembly
- Language: Haskell
- Size: 63.5 KB
- Stars: 80
- Watchers: 9
- Forks: 4
- Open Issues: 1