To compile, write:
idris --build brainfun.ipkgThe resulting executable will be called brainfun (or brainfun.exe
on Windows).
With no arguments, the program is read on one line from standard input. With one argument, the argument is the source file.
- Uniqueness types for the state to reduce allocations
- Convince
goto pass the coverage checker