on 4e34dfd help sign in
Idris-dev/samples
7 files
../ Makefileremove /examples/ folder, move Makefile to /samples/ binary.idrAddress semantic differences in putting things to STDOUT. interp-alt.idrAddress semantic differences in putting things to STDOUT. interp.idrAddress semantic differences in putting things to STDOUT. javaffi.idrAddress semantic differences in putting things to STDOUT. named_instance.lidrWhitespace cleanup. reflection.idrRenaming of built-in datatypes works finally