git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4471 from SPY/patch-1
7dba584Jan de Muijnck-Hughes
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>`__