toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity

Update README

Browse source
This commit is contained in:
Kiana Sheibani 2023-09-26 00:43:22 -04:00
parent 77e5ba03b6
commit 9686caced9
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -32,9 +32,17 @@ an in-depth tutorial on NumIdr's features, though that is not available yet.
## Usage ## 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 idris2 --install numidr.ipkg
``` ```
Or you can install using pack:
``` sh
pack install numidr
```