@@ -15,7 +15,7 @@ To run the tests, type 'make test' which will execute the test suite, and
15'make relib', which will typecheck and recompile the standard library.
15'make relib', which will typecheck and recompile the standard library.
17Idris has an optional buildtime dependency on the C library libffi. If you
17Idris has an optional buildtime dependency on the C library libffi. If you
18−would like to use the features that it enables, be sure it is are compiled
18+would like to use the features that it enables, make sure that it is compiled
19for the same architecture as your Haskell compiler (e.g. 64 bit libraries
19for the same architecture as your Haskell compiler (e.g. 64 bit libraries
20for 64 bit ghc). By default, Idris builds without it. To build with it, pass
20for 64 bit ghc). By default, Idris builds without it. To build with it, pass
21the flag -f FFI.
21the flag -f FFI.
@@ -29,10 +29,10 @@ getting involved with development. It is located at
29https://github.com/idris-lang/Idris-dev/wiki.
29https://github.com/idris-lang/Idris-dev/wiki.
31Idris has support for external code generators. Supplied with the distribution
31Idris has support for external code generators. Supplied with the distribution
32−is C code generator to compile executables, and a JavaScript code generator
32+is a C code generator to compile executables, and a JavaScript code generator
33with support for node.js and browser JavaScript.
33with support for node.js and browser JavaScript.
35−At the point of this writing, there is are external repositories with
35+At the point of this writing, there are external repositories with
36a Java code generator and an LLVM-based code generator which can be found at
36a Java code generator and an LLVM-based code generator which can be found at
37https://github.com/idris-hackers/idris-java and
37https://github.com/idris-hackers/idris-java and
38https://github.com/idris-hackers/idris-llvm respectively.
38https://github.com/idris-hackers/idris-llvm respectively.