git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/test/test018
5 files
../ expectedSmall change to doc comment syntax (allow spaces before | or ^) runAdd argument passing to new tests run_javaBackend support for Java test018.idrAdded raw (non-typesafe) message passing library (System.Concurrency.Raw) test018a.idrChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.