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