git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/test/interactive001
4 files
../ expectedIndentation configuration via command line args. inputIndentation configuration via command line args. interactive001.idrIndentation configuration via command line args. runIndentation configuration via command line args.