git.iko.soy/Idris-dev
on 85e91ef 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/Added '%access' directive and updated libs Main.hsAdd --help and --version options