Update README.md

Russoul · Jul 14, 2020 · 39a71cd · 39a71cd
1 parent 6b31578
commit 39a71cd
Showing 1 changed file with 11 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,10 +1,17 @@
 ## idris2-lua
-Lua backend for Idris2
+Lua backend for Idris 2
 
+## Requirements
+- Install `Idris 2` and `Idris 2 API`, see https://github.com/idris-lang/Idris2/blob/master/INSTALL.md for instructions
+- Lua 5.3 is a minimum requirement
+- Depends on [lua-utf8](https://github.com/starwing/luautf8.git) and [bigint](https://github.com/JorjBauer/lua-bigint.git)
+  lua packages
+
+  Both can be installed via *luarocks*:
+
+  `luarocks install luautf8 && luarocks install bigint`
 ## Installation
-- `Idris2` should be in your `PATH`
-- `luarocks install luautf8 && luarocks install bigint`
-- `make all && make install`
+ - `make all && make install`
 ### Tests - TODO
 
 try running an example `Test.idr` in `test` directory,