blob: 6060955ca9efc8c5b7c437b33af1703c3549eb6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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.
|
