QuentinDuval / IdrisIntro

To play with this code

Setup

• Install Idris: brew install idris on MacOS.
• Install Idris plug-in for VSCODE (zjhmale.idris)

Running

• source build.sh or source rebuild.sh to build
• source test.sh to run the tests
• ./example to run the program

Interactive running

• :t to get the type of a variable
• :exec to run an IO function
• :r to reload a module