on 60e4921 help sign in
Idris-dev/samples
7 files
../ Makefileremove /examples/ folder, move Makefile to /samples/ 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