Idris-dev/samples
2013-07-26 21:17:14 +02:00
..
binary.idr rename O into Z 2013-07-26 21:05:47 +02:00
interp-alt.idr rename fO into fZ 2013-07-26 21:17:14 +02:00
interp.idr rename fO into fZ 2013-07-26 21:17:14 +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 Add a sample of named instances 2012-05-03 23:07:17 +01:00
reflection.idr Improved performance by not going through PQuote and doing less normalisation 2013-03-25 19:57:19 +01:00