Commit 4118ca1d authored by Nuria Brede's avatar Nuria Brede
Browse files

Update instructions.

parent 29cbe7a1
...@@ -39,11 +39,11 @@ The following has been successfully tested using Idris version 1.3.2: ...@@ -39,11 +39,11 @@ The following has been successfully tested using Idris version 1.3.2:
* The source files can be typechecked all at once with * The source files can be typechecked all at once with
`idris --checkpkg valval.ipkg` `idris --checkpkg code.ipkg`
or built with or built with
`idris --build valval.ipkg` `idris --build code.ipkg`
* Individual files can be loaded into the Idris REPL using * Individual files can be loaded into the Idris REPL using
...@@ -51,7 +51,7 @@ The following has been successfully tested using Idris version 1.3.2: ...@@ -51,7 +51,7 @@ The following has been successfully tested using Idris version 1.3.2:
* Generated intermediate code and executables can be deleted with * Generated intermediate code and executables can be deleted with
`idris --clean valval.ipkg` `idris --clean code.ipkg`
## References ## References
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment