git.iko.soy/Idris-dev
on master help sign in
history ofc3cb8a4..master
compare
5f6ac67In-lang stringification of BitsBenjamin Saunders 1ffdfc0Parse case options as patterns, not expressions Fixes issue #147Edwin Brady 9909d70More concise (and less fragile) boolean comparison wrappersBenjamin Saunders 358c623Partially restore access qualifiersBenjamin Saunders da79c5eComparisons on bitsBenjamin Saunders ee40d17Strip access qualifiers pending resolution of issue #143Benjamin Saunders 57628ffMerge pull request #146 from raichoo/javascriptEdwin Brady 59be497javascript backendraichoo 6322cc6Merge pull request #141 from sanxiyn/masterEdwin Brady b2cf967Allow class constraints in syntax definitionsEdwin Brady 04d6f00A small amount of proof automation, via tactic reflectionEdwin Brady d06d473Fix injectivity checkEdwin Brady 25ec644Modify documentation comment parsingEdwin Brady d95a981Transitivity of equalitySeo Sanghyeon 4bc6424Compile on GHC 7.0Seo Sanghyeon 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp 60dbc48Add %instance for explicit access to resolveTC tacticEdwin Brady