git.iko.soy/Idris-dev
on abc2002 help sign in
Idris-dev/samples
6 files
../ binary.idrFirst renaming attempt interp-alt.idrFinished making standard library naming consistent interp.idrFinished making standard library naming consistent javaffi.idrAdded backend target specification to %lib, %link and %include directives named_instance.lidrWhitespace cleanup. reflection.idrRenaming of built-in datatypes works finally