From 37ccf3ddecccb2f6700e1f4edcecb472fcb4d57d Mon Sep 17 00:00:00 2001
From: Jimmy Miller <jimmyhmiller@gmail.com>
Date: Sun, 7 Oct 2018 13:56:52 -0400
Subject: [PATCH] Added installation instructions

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

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
+```