From 9686caced910b349954f1e3a6de0dc75bd3ea772 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Tue, 26 Sep 2023 00:43:22 -0400
Subject: [PATCH] Update README

---
 README.md | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 4e6eb65..8640047 100644
--- a/README.md
+++ b/README.md
@@ -32,9 +32,17 @@ an in-depth tutorial on NumIdr's features, though that is not available yet.
 
 ## Usage
 
-Basic package install:
+To install using idris2 directly:
 
-``` shell
+``` sh
+git clone https://github.com/kiana-S/numidr
+cd numidr
 idris2 --install numidr.ipkg
+
 ```
 
+Or you can install using pack:
+
+``` sh
+pack install numidr
+```