From 3f4e0844880a43ae113f75711bfcb60b9f22a4dd Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Tue, 21 Jan 2025 18:28:12 +0000 Subject: Update README.md Add more build instructions. --- README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 4205511..6060955 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,14 @@ # Inky See `program` for some examples. + +# Build Instructions + +1. Install `idris2` and the two libraries `collie` and `flap`. +2. `idris2 --build`. + +# Running + +- `inky format term` is a highly-opinionated, non-customizable code formatter. +- `inky check term` type checks an expression, assuming its type is synthesizable. +- `inky compile term` compiles a term to Guile Scheme. -- cgit v1.2.3