Friday Lang

Prototype embedded systems programming language with refinement types.

Compilation

To compile the project, you need to have idris2 installed. Then, you can run the following command:

idris2 --build
./build/exec/friday