git.iko.soy/Idris-dev
on master help sign in
history of814ebda..master
compare
5ca59efInstance docs: haddocks grammarAdam Sandberg Eriksson 3d7aba5Instance docs: show in :doc outputAdam Sandberg Eriksson 17743d4Instance docs: let elabInstance add docstrings to contextAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson e9c96d4Add test for FFI export (ffi006)Edwin Brady 5ae43bbSupport IO in foreign exportsEdwin Brady d4371e6Generate interface files for C->Idris callsEdwin Brady 20e1debFix irrelevance bugEdwin Brady 4313defPass export lists to CodegenInfoEdwin Brady f7648dbForeign export lists in IOEdwin Brady e39a9a2Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tacticalDavid Raymond Christiansen ec617e8Updated changelogJan de Muijnck-Hughes 5ea6aa0Address semantic differences in putting things to STDOUT.Jan de Muijnck-Hughes 49fffbcMerge pull request #1982 from david-christiansen/feature/ide-doc-overviewDavid Christiansen 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen ec13063Merge pull request #1980 from david-christiansen/dsl-dollarsDavid Christiansen 16c3c3cMerge pull request #1964 from Chobbes/case_sensitivityEdwin Brady f7ac46aMerge pull request #1953 from Chobbes/stats_fixEdwin Brady c422009Merge pull request #1951 from Chobbes/setheap_fixEdwin Brady 62c386fMerge pull request #1950 from Chobbes/masterEdwin Brady ec06f94Change to a recoverable error in proof searchEdwin Brady c9b1759Fix type error in name reflectionDavid Raymond Christiansen 29553b6Prevent unquotations from being parsed as infix operatorsDavid Raymond Christiansen b56f5c1Merge pull request #1979 from david-christiansen/dsl-dollarsDavid Christiansen 2e93a50Allow DSLs to be applied with $David Raymond Christiansen 32171edMerge pull request #1977 from jfdm/stdio-effect-printDavid Christiansen 49b2d30Added 'Print' functions to STDIO effect.Jan de Muijnck-Hughes 05bc594Add Quotable changes to CHANGELOGDavid Raymond Christiansen 97bc9dfMerge pull request #1973 from david-christiansen/wip/tacticalDavid Christiansen a1c42adAdd "rewrite" to new-style tacticsDavid Raymond Christiansen 0550c86Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 3233dd1Merge pull request #1972 from david-christiansen/ahmadsalim-feature/betteroperatormessageDavid Christiansen 98c36eePush source locations around correctly for new-style tacticsDavid Raymond Christiansen 7c1dc98Prevent "(%runTactics foo)" from being an operatorDavid Raymond Christiansen e9ff42dDesugar in default argument valuesDavid Raymond Christiansen 0222187Slightly more useful error messagesDavid Raymond Christiansen c726022Whitespace cleanupDavid Raymond Christiansen 1d64b2cFinalise terms before evaluation in new-style tacticsDavid Raymond Christiansen 212c0bdMerge branch 'ahmadsalim-feature/betteroperatormessage' into wip/tacticalDavid Raymond Christiansen c70b2a3Merge branch 'feature/betteroperatormessage' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/betteroperatormessageDavid Raymond Christiansen 1e488afAdd new-style tactics for getting source locationsDavid Raymond Christiansen 3d79f1bMake Quotable polymorphic on quotation typeDavid Raymond Christiansen 20e6028Merge branch 'master' into wip/tacticalDavid Raymond Christiansen 8ab9f72Merge pull request #1971 from david-christiansen/chetant-dsl_varnamesDavid Christiansen c0d58b3Add CHANGELOG note on DSL block updatesDavid Raymond Christiansen 3c05bcdMerge branch 'dsl_varnames' of https://github.com/chetant/Idris-dev into chetant-dsl_varnamesDavid Raymond Christiansen 5e1ef78Merge pull request #1970 from david-christiansen/operator-renamesDavid Christiansen 6f25fbeUpdate reg050 for <$> as fmap aliasDavid Raymond Christiansen a2c7b15Document the Great Operator Rename in the CHANGELOGDavid Raymond Christiansen ff7214eAdd <$> as an alias for mapDavid Raymond Christiansen