@@ -36,10 +36,10 @@ issue the following command:
36 $ idris --codegen javascript hello.idr -o hello.js
36 $ idris --codegen javascript hello.idr -o hello.js
39−Idris can produce very big chunks of JavaScript code (hello world
39+Idris can produce big chunks of JavaScript code (hello world weighs in at about
40−weighs in at 1500 lines). However, the generated code can be minified
40+60 lines). However, the generated code can be minified using the
41−using the `closure-compiler
42−<https://developers.google.com/closure/compiler/>`__ from Google.
41+`closure-compiler <https://developers.google.com/closure/compiler/>`__ from