on 205ebd0 help sign in
Idris-dev/samples
6 files
../ binary.idrrename O into Z interp-alt.idrFix Vect arguments in samples/ interp.idrFix Vect arguments in samples/ 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