on 4dddfaf help sign in
Idris-dev/samples
6 files
../ binary.idrrename O into Z interp-alt.idrrename fO into fZ interp.idrrename fO into fZ javaffi.idrAdded backend target specification to %lib, %link and %include directives named_instance.lidrAdd a sample of named instances reflection.idrImproved performance by not going through PQuote and doing less normalisation