git.iko.soy/Idris-dev
on master help sign in
history ofa73b6af..master
compare
61f272cUpdated User Docs for new visibility modifiers.Jan de Muijnck-Hughes 01dd9a8Don't rewrite binders in quoted terms under syntaxDavid Raymond Christiansen 0cbea4aMerge pull request #2939 from melted/fix_testingNiklas Larsson 5518fc3Merge pull request #2938 from projedi/stack-nix-osxNiklas Larsson 1c7680aOnly use IDRIS if there's actually such an executableNiklas Larsson d161f3dMerge pull request #2937 from melted/path_spacesNiklas Larsson 8a9ca44Added %auto_implicits directiveEdwin Brady 9de23d5Fix stack --nix on OS XAlexander Shabalin 28c596bDo not split arguments indiscriminately on spacesNiklas Larsson 9d1dcaeUpdate interp.rstJoseph Huang 01484e6Merge pull request #2918 from LeifW/canonicalize_watched_filesNiklas Larsson 85b6c78Merge pull request #2922 from jfdm/integrate-test-runner-with-cabalNiklas Larsson 00ab489Merge pull request #2933 from LeifW/util_cleanupNiklas Larsson c2d79d7Merge pull request #2930 from david-christiansen/syntax-quote-refNiklas Larsson d6bce79Merge pull request #2929 from enolan/doc-universeNiklas Larsson 6859fe7Util method for overriding libdir w/ env var.Leif Warner 581b884Cleanup env var lookupLeif Warner 009a5d7file modes extendedAistis Raulinaitis 6112570file modes extendedAistis Raulinaitis fbd940cFix bracketing when solving holes interactivelyEdwin Brady 6efe40bExtend rules for 'impossible' casesEdwin Brady 7540bb3Minor name changesEdwin Brady b042531Normalise newlines in runtestEdwin Brady f2e6671Added test for unsafePerformIOEdwin Brady 400cc8aFix export rules for recordsEdwin Brady 228f56cfindCalls should find constructors tooEdwin Brady 5259edcMinor CHANGELOG editEdwin Brady eba5123Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e3e35a5New rules for name visibilityEdwin Brady cce2441Improve FAQ answer on universesEcho Nolan 04f1d91Update Agda-style reflection test with quoteGoalDavid Raymond Christiansen 1639d15Fix missing cases in Show for ConstDavid Raymond Christiansen 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 9633fd7Syntax hygiene for resolved quoted namesDavid Raymond Christiansen 5585378Canonicalize the set of loaded files for comparing watch events to.Leif Warner 2518f83Bump supported async version to allow 2.1Leif Warner c4c7802Merge pull request #2926 from ahmadsalim/warning/staticchangeJan de Muijnck-Hughes fb81dc3Fixed parserWarning functionAhmad Salim Al-Sibahi b0df543Merge pull request #2925 from jfdm/fix-version-docsJan de Muijnck-Hughes 060caf4Readded [static] but with a deprecation warning. Also refactored the way parser warnings are added to make it easier to call.Ahmad Salim Al-Sibahi 261455fUser Docs updatesJan de Muijnck-Hughes f3cc145Merge pull request #2924 from ahmadsalim/readme/uniformstaticannotationJan de Muijnck-Hughes 376f0e8Added '%static' annotation change in CHANGELOGAhmad Salim Al-Sibahi faf0b57Merge pull request #2906 from ahmadsalim/feature/uniformstaticanotationJan de Muijnck-Hughes 6042cfeKeep track of names defined in current moduleEdwin Brady 92882c3Make sure to use most recent contextEdwin Brady e8a41dcDon't save original TT pattern clausesEdwin Brady d3dc418Add names in types to call graphEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady