git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test018
4 files
../ expectedSmall change to doc comment syntax (allow spaces before | or ^) runAdd argument passing to new tests 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.