Merge pull request #4471 from SPY/patch-1
Reference to WebAssembly backend added
commit7dba584c634a0b66823de83754fb628ddc52be13
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateThu 7 Jun 2018, 19:25 (8 years ago)
parent3a2f57e462f1b8
docs/reference/codegen.rst+5
@@ -131,3 +131,8 @@ WS
131131---
132132
133133`Available online <https://github.com/edwinb/WS-idr>`__
134+
135+WebAssembly
136+-----------
137+
138+`Available online <https://github.com/SPY/idris-codegen-wasm>`__