@@ -15,7 +15,7 @@ To run the tests, type 'make test' which will execute the test suite, and
1515'make relib', which will typecheck and recompile the standard library.
1616
1717Idris 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
1919for the same architecture as your Haskell compiler (e.g. 64 bit libraries
2020for 64 bit ghc). By default, Idris builds without it. To build with it, pass
2121the flag -f FFI.
@@ -29,10 +29,10 @@ getting involved with development. It is located at
2929https://github.com/idris-lang/Idris-dev/wiki.
3030
3131Idris 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
3333with support for node.js and browser JavaScript.
3434
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
3636a Java code generator and an LLVM-based code generator which can be found at
3737https://github.com/idris-hackers/idris-java and
3838https://github.com/idris-hackers/idris-llvm respectively.