git.iko.soy/Idris-dev
on db306ca help sign in
db306caMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/parserspanningAhmad Salim Al-Sibahi a7e6550Merge pull request #962 from david-christiansen/markdown-docsEdwin Brady af6eaebMerge pull request #961 from raichoo/javascriptEdwin Brady 3ebb931Merge pull request #960 from david-christiansen/skip-coverage-on-default-patternEdwin Brady 2d79c85Merge pull request #958 from david-christiansen/reflection-reflectionEdwin Brady f596a36Merge pull request #946 from trofi/masterEdwin Brady d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen ce2f85fjavascript: quick & dirty compile time error on invalid FFIraichoo 312967ajavascript: add time functionraichoo 8f93b00Syntax for failures in pattern matching let/<-Edwin Brady f26ab12Skip unnecessary coverage checkingDavid Raymond Christiansen b2b5545Rename 'new' to 'newInit' in neweffectsEdwin Brady 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen d0edb70Add support for reflecting ByReflectionDavid Raymond Christiansen 202937dHandler for Exceptions in List contextEdwin Brady dc196bfPretty printing fixEdwin Brady 22678c7Merge pull request #957 from JanBessai/OrderEqCongEdwin Brady be57f4aFix unbound implicit rulesEdwin Brady a7217f1Tweak scoping rules in instance generationEdwin Brady 419b35cAdded span in parser stateAhmad Salim Al-Sibahi 66ac8daMerge pull request #953 from JanBessai/OrderEqCongEdwin Brady 7aeab41Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady f52eafdFix for name shadowing in evaluatorEdwin Brady a19d1dcCongruence over a single function instead of all functionsJan Bessai bd93226Equivalence and congruence relationsJan Bessai e237954Merge pull request #950 from JanBessai/EqualityOperatorParserFixEdwin Brady efb461aMerge pull request #927 from JanBessai/FunctionChainsEdwin Brady 49de647Merge branch 'master' into FunctionChainsJan Bessai be7d600Treat (=) as a special function name. Includes a regression test.Jan Bessai 1519d88Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady af082b6Merge pull request #948 from raichoo/javascriptEdwin Brady 6e74bd7Merge pull request #945 from david-christiansen/new-docsEdwin Brady 3ccbc55javascript: remove overlapping caseraichoo 2364435whitespaceraichoo b96f713javascript: do not include jsbn if not neededraichoo e5a48f4Add resourceType function for convenience in EffEdwin Brady 1ffa80dMerge pull request #947 from raichoo/javascriptEdwin Brady 1a172b2javascript: add google closure annotations to ASTraichoo c353a68javascript: make FFI part of ASTraichoo 9f93122src/Idris/ParseHelpers.hs: workaround build failure against ghc-7.8Sergei Trofimovich d53154aAdd documentation in new format for various libsDavid Raymond Christiansen 780a0a6Merge pull request #941 from raichoo/javascriptEdwin Brady cb4b145Merge pull request #942 from ziman/instance-ctorsEdwin Brady dc6b9cbAdd new doc syntax to CHANGELOGDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen c2671c0Fix missing case in CodegenJavaEdwin Brady d4ffc21Add ManagedPtr typeEdwin Brady bd744f1Propagate function name to tacticsEdwin Brady c37de47Propagate parameters to recordsEdwin Brady fe519dbBump IBC version.Matus Tejiscak