git.iko.soy/Idris-dev
on master help sign in
history off0d7876..master
compare
f07ac48Merge pull request #2251 from Melvar/remove-preflDavid Christiansen 77a732eAdd workaround for partial FC functionsDavid Raymond Christiansen acdf90fBe a bit more conservative about highlighting outputDavid Raymond Christiansen 45ca5b5Accurate highlighting of proof bindings on the with ruleDavid Raymond Christiansen 0419a12Highlight let bindingsDavid Raymond Christiansen f3fef7ePrecise tracking of bindings in do blocksDavid Raymond Christiansen 75e3863Merge pull request #2244 from ulidtko/patch-1Jan de Muijnck-Hughes 56b6850Precise highlighting of instancesDavid Raymond Christiansen cc83850Accurate highlighting for recordsDavid Raymond Christiansen c303a38Properly highlight 0-argument constructor patternsDavid Raymond Christiansen 5cb8ec3Be more careful with implicit FCsDavid Raymond Christiansen 53e1281Remove PEqMelvar Chen 73b666bMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlightsDavid Raymond Christiansen 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 8984d49Remove PRefl and all references to itMelvar Chen 268296fHighlight the names in type declarationsDavid Raymond Christiansen dc69794Merge pull request #2245 from ahmadsalim/bug/fixequalityplicityDavid Christiansen 9df946eMerge pull request #2246 from ahmadsalim/bug/fixsigmastringcomparisonDavid Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen c42673cHighlight pattern varsDavid Raymond Christiansen 924f791Highlighting for infix operatorsDavid Raymond Christiansen 0cae95aRemoved equality from primNames, as it shouldn't be handle specially when adding implicits (the only current use).Ahmad Salim Al-Sibahi 74fd10aFix 'impossible' checkEdwin Brady cbb86b2Fix missing check on case in typesEdwin Brady c8ae141Highlight applications of bound functionsDavid Raymond Christiansen 4ebafb4Highlight names of simple variable referencesDavid Raymond Christiansen 0791659Fix error in spotting linear argumentsEdwin Brady 2f6e736Fixes some string comparison that made sigma show incorrectly. Showing types of first component of sigma type.Ahmad Salim Al-Sibahi 604bde0Split span parsing into a type classDavid Raymond Christiansen f2d9091Accurate location information for ReflDavid Raymond Christiansen da3a26cAccurate locations for constantsDavid Raymond Christiansen 315225finsert missed lambda parammax ulidtko 160a597wrong word correctedmax ulidtko 8468d82correct examples so that they actually compilemax ulidtko 2eeacc3add missing examplemax ulidtko 2130968minor editorialsMaxim Ivanov c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 23b36daRemove mysterious files in test/basic001Edwin Brady 4317b84Remove outdated defaulting hack in classesEdwin Brady 75ab155Merge pull request #2242 from david-christiansen/type-class-constructor-namesDavid Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen 5e239baMerge pull request #2232 from david-christiansen/agda-style-recordsDavid Christiansen 501372fMerge pull request #2239 from melted/trailingNiklas Larsson 160e7e1Trim trailing spaces when getting a file name from the REPLNiklas Larsson ea5624ePut new record info in the right spot in CHANGELOGDavid Raymond Christiansen c538c34Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-recordsDavid Raymond Christiansen 375c986Merge pull request #2236 from david-christiansen/if-overloadingDavid Christiansen 90127b3High-level if ... then ... else ... expressionDavid Raymond Christiansen 4f6f8b0Rearrange signature for Haddock happinessDavid Raymond Christiansen a129823Put fork and forceGC in an appropriate namespaceEdwin Brady