@@ -27,16 +27,6 @@ issue the following command:
27 $ idris --codegen javascript hello.idr -o hello.js
27 $ idris --codegen javascript hello.idr -o hello.js
30−Generating code for NodeJS is slightly different. Idris outputs a
31−JavaScript file that can be directly executed via node.
35− $ idris --codegen node hello.idr -o hello
40Idris can produce very big chunks of JavaScript code (hello world
30Idris can produce very big chunks of JavaScript code (hello world
41weighs in at 1500 lines). However, the generated code can be minified
31weighs in at 1500 lines). However, the generated code can be minified
42using the `closure-compiler
32using the `closure-compiler
@@ -50,6 +40,16 @@ using the `closure-compiler
43+Generating code for NodeJS is slightly different. Idris outputs a
44+JavaScript file that can be directly executed via node.
48+ $ idris --codegen node hello.idr -o hello
54Third Party
54Third Party
55============
55============