git.iko.soy/Idris-dev
on d3fa352 help sign in
Idris-dev/samples/misc
7 files
../ MakefileSpun out existing misc examples into own file binary.idrChange Instance to implementation (#3404) interp-alt.idrSpun out existing misc examples into own file interp.idrChange Instance to implementation (#3404) javaffi.idrSpun out existing misc examples into own file named_implementation.lidrChange Instance to implementation (#3404) reflection.idrSpun out existing misc examples into own file