Idris-dev/samples
2014-09-26 07:34:38 +02:00
..
binary.idr First renaming attempt 2014-09-26 07:34:28 +02:00
interp-alt.idr Finished making standard library naming consistent 2014-09-26 07:34:38 +02:00
interp.idr Finished making standard library naming consistent 2014-09-26 07:34:38 +02:00
javaffi.idr Added backend target specification to %lib, %link and %include directives 2013-06-21 19:41:53 +02:00
named_instance.lidr Whitespace cleanup. 2013-11-01 14:33:45 +01:00
reflection.idr Renaming of built-in datatypes works finally 2014-09-26 07:34:29 +02:00