git.iko.soy/Idris-dev
on 2000a54 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Added 'public', 'abstract' and 'private' modifiers 'public' means export everything (name and definition) 'abstract' means export just the name 'private' means export nothing for data types and classes, 'abstract' means export the type/class name but not t… Idris/Arbitrary length tuples (reducing to nested pairs) Main.hsAdd --help and --version options