git.iko.soy/Idris-dev
on b61bdac help sign in
b61bdacMerge pull request #2948 from jfdm/doc-updates-access-modifiersJan de Muijnck-Hughes c5d331fMerge pull request #2951 from melted/tweak_ignoreNiklas Larsson 0d86940ignore .orig filesNiklas Larsson 58f6c42Merge pull request #2943 from melted/storableNiklas Larsson 310f046Fix case split/unification bugEdwin Brady 9ecaccaAdd Uninhabited for Elem x []Edwin Brady 46b5cb6Merge pull request #2950 from Heather/coloursNiklas Larsson da61891Updated docs with note about visibility of type synonyms.Jan de Muijnck-Hughes 2951828Idris/AST: minor readability improvementsHeather 73f6eb7replace if else with list comprehension syntaxHeather fe71b95Implement primitive memory access functionsNiklas Larsson 61f272cUpdated User Docs for new visibility modifiers.Jan de Muijnck-Hughes 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 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 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