on affd239 help sign in
Idris-dev/samples
6 files
../ binary.idrFix samples to use Type instead of Set interp-alt.idrFix samples to use Type instead of Set interp.idrBackend support for Java 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