diff --git a/README.md b/README.md index 1a2a3ea..f2ae2e8 100644 --- a/README.md +++ b/README.md @@ -2,3 +2,9 @@ IdrisScript =========== FFI Bindings to interact with the unsafe world of JavaScript + +Installation +============ +```bash +idris --install idrisscript.ipkg +```