on 02f57ef 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.idrJava FFI: imports included and dependencies downloaded via maven named_instance.lidrAdd a sample of named instances reflection.idrImproved performance by not going through PQuote and doing less normalisation