git.iko.soy/Idris-dev
on master help sign in
Reference to WebAssembly backend added
462f1b8Ilya Rezvov
docs/reference/codegen.rst+5
compare with master
unifiedsplit
@@ -131,3 +131,8 @@ WS
131---
131---
132
132
133`Available online <https://github.com/edwinb/WS-idr>`__
133`Available online <https://github.com/edwinb/WS-idr>`__
134+
135+WebAssembly
136+-----------
137+
138+`Available online <https://github.com/SPY/idris-codegen-wasm>`__