git.iko.soy/Idris-dev
on cbbdb3e help sign in
cbbdb3eRemove dead codeDavid Raymond Christiansen ee8fce0Add "intro" tactic to new tacticsDavid Raymond Christiansen f327f18Raw quasiquote patternsDavid Raymond Christiansen 149c104Desugar do blocks inside of %runTacticsDavid Raymond Christiansen 2a1de7aExpand ! binds in tacticsDavid Raymond Christiansen 933fcbbAdd missing cases to warnDisambDavid Raymond Christiansen 6d6c81bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 53cf150Check quasiquotation flag in elaborator on lhsEdwin Brady 30fe374Merge pull request #1932 from david-christiansen/wip/tacticalDavid Christiansen 2758aaeMerge branch 'wip/tactical' of https://github.com/david-christiansen/Idris-dev into david-christiansen-wip/tacticalEdwin Brady 2654aedMerge pull request #1929 from Heather/rtsEdwin Brady 1b7d16dMerge pull request #1892 from fiendfan1/fix/js-higher-orderEdwin Brady b048140Overloaded quasiquotationsDavid Raymond Christiansen 9249aaeIBC generation pattern match completenessDavid Raymond Christiansen e6235efErasure should ignore Type*/UniqueTypeEdwin Brady c021042Quasiquotes for Raw termsDavid Raymond Christiansen 182da18Fix names and accessibilityDavid Raymond Christiansen 13e8ad8Plumb source locations through Tactical's elabDavid Raymond Christiansen 4d1759ePair syntax for unique typesEdwin Brady 2f96f33Split between primitive tactics and UIDavid Raymond Christiansen a0346b6Begin implementation of reflected elab monadDavid Raymond Christiansen 280665cadd missing HAS_PTHREAD wrapperHeather fca8309Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady eed5b88Fix lambda lifting bug with uniquenessEdwin Brady 1b74a22Merge pull request #1927 from bmsherman/ignoreLazyTypesDavid Christiansen 5f3e853Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 9330832Deal with unique types in 'do' betterEdwin Brady f79498dChange return type of checkMessagesEdwin Brady 9790b8fIgnore lazy type modifiers in :searchBen Sherman 2127664Merge pull request #1926 from david-christiansen/new-tactic-reflectionDavid Christiansen f17606a"claim" and "unfocus" tacticsDavid Raymond Christiansen da0a9a0Merge pull request #1925 from david-christiansen/issue/1924David Christiansen 18eb72aFix docstring syntax for string functionsDavid Raymond Christiansen 17d752cIgnore Emacs noiseDavid Raymond Christiansen 7949fdbMerge pull request #1922 from david-christiansen/ide-mode-version-commandDavid Christiansen 297b3e2Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 0b6726fImprove concurrency primitives in C RTSEdwin Brady fe34d9fMerge pull request #1911 from Heather/whyEdwin Brady e88e306Add IDE command to get Idris versionDavid Raymond Christiansen 0fdbc0bMerge pull request #1921 from david-christiansen/idemodeDavid Christiansen c5de844Catch some lingering renames that I missedDavid Raymond Christiansen 40d094dExpose equality proofs in with ruleEdwin Brady c918f44Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 26cfbe9Scoped implicits fixEdwin Brady 807d623Merge pull request #1912 from david-christiansen/ide-modeDavid Christiansen b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen 1510155clean includes from c fileHeather aa410e4Merge branch 'JakobBruenker-patch-1'David Raymond Christiansen 9a4ee34Re-alphabetize CONTRIBUTORSDavid Raymond Christiansen 1f7d1f2Merge branch 'patch-1' of https://github.com/JakobBruenker/Idris-dev into JakobBruenker-patch-1David Raymond Christiansen