git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/test/interactive011
1 folder, 5 files
../ src/Indentation configuration via command line args. .gitignoreIndentation configuration via command line args. expectedFix regression with making class bodies inputIndentation configuration via command line args. interactive011.ipkgIndentation configuration via command line args. runIndentation configuration via command line args.