/idris-test

Primary LanguageIdris

Idris Test

# Run the REPL in the context of this project
idris --repl test.ipkg