git.iko.soy/Idris-dev
on 64365db help sign in
64365dbMerge pull request #2410 from jfdm/typeintype-help-docNiklas Larsson d8b009bMerge pull request #2414 from Heather/wincNiklas Larsson 45420abfix building for windows/idris_stdfgn.cHeather 83b839fBring effects summary up to dateEdwin Brady 2ac0079Bring effects tutorial up to dateEdwin Brady edb2809Documentation Fixes for CLIJan de Muijnck-Hughes 6e7f896Careful when to show namespaces in :docEdwin Brady 09d107aChange namespace display in :t and :docEdwin Brady d23c653Consistent type variable names for fst/sndEdwin Brady dc27739Fix 'time' to return Integer rather than IntEdwin Brady 4f8d10fUpdate CHANGELOGEdwin Brady a737c5dUse predicates instead of equality proofs in ListEdwin Brady c4e6eafGive resugared names in incomplete term errorsEdwin Brady 28062bfMerge pull request #2385 from david-christiansen/issue/2356David Christiansen 00bfe56Clearer 'incomplete term' errorEdwin Brady 65b5c20Prefer 'List' at the REPLEdwin Brady e3dcb11Fix :search parserEdwin Brady 9ba4884Add Windows path for Cabal to tutorialDavid Raymond Christiansen 6370744Update docs for 'auto'Edwin Brady d634c32Merge pull request #2395 from david-christiansen/highlight-fileDavid Christiansen 0280b22Add --highlight to CHANGELOGDavid Raymond Christiansen a3407cbDisplay 'Hole' instead of 'Metavariable'Edwin Brady ac68541Dump highlighting infoDavid Raymond Christiansen 0b68452Added SVG logosEdwin Brady d5c9d23Merge pull request #2391 from david-christiansen/issue/2381David Christiansen 3275df6Add :link-href to IDE mode docsDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 67143bdDocument the FFI with docstringsDavid Raymond Christiansen 3760508Add a timeout to checkMessagesEdwin Brady 1fd9722Merge pull request #2387 from jgriebler/fix/repl-parseNiklas Larsson fd5c458Simplify implementation of trimJohannes Griebler 8e550c1Trim trailing whitespace in parseCmdJohannes Griebler 5457da9Merge pull request #2384 from david-christiansen/syntax-fcDavid Christiansen d9d03c0Move mention of PATH earlier in tutorialDavid Raymond Christiansen 9107357Merge pull request #2383 from david-christiansen/semantic-highlightDavid Christiansen e1fce3fFix error location in testDavid Raymond Christiansen c48561fBetter approximation of syntax rule errorsDavid Raymond Christiansen e9e7993Replace absurd syntax rule FCsDavid Raymond Christiansen 3be8229Stop overwriting case block pattern highlightsDavid Raymond Christiansen 823be86Highlight postulates and their definitionsDavid Raymond Christiansen 840f588Preserve manual name type annotationsDavid Raymond Christiansen 5f9f8b1Fix implicit arg / function highlightsDavid Raymond Christiansen 6d7da92Merge pull request #2378 from david-christiansen/wip/tacticalDavid Christiansen ff60396Make apply match internal behaviourDavid Raymond Christiansen ecab241Merge pull request #2375 from jfdm/fix/loggingDavid Christiansen 6df52faMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen a21064eAdd Effect.Monad and Effect.TransEdwin Brady f224681Update FAQEdwin Brady 66870b2Export 'lift' from Control.Monad.StateEdwin Brady 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes