Rolidris ROLA but in Idris $ elba build $ ./target/bin/rolidris # or load the lib into the repl $ elba repl
