git.iko.soy/Idris-dev
on master help sign in
history ofee40d17..master
compare
da93e25Merge pull request #990 from david-christiansen/unifier-contextEdwin Brady f490d9fFix testDavid Raymond Christiansen fc949b9Re-enable function arg error reflectionDavid Raymond Christiansen 57c3ffcAdd application context to all error messagesDavid Raymond Christiansen 60f7427Merge remote-tracking branch 'upstream/master' into unifier-contextDavid Raymond Christiansen 0fc0cdcMerge pull request #991 from jfdm/doc/effectsEdwin Brady a706a7aMerge pull request #989 from david-christiansen/docsEdwin Brady 3cef609Annotate 'Lazy' with reason for lazinessEdwin Brady 82c94b3Remove some commented-out codeDavid Raymond Christiansen 1290495Initial documentation efforts for effectsJan de Muijnck-Hughes f01873fAdd stack of elaboration context to ElaboratingArgDavid Raymond Christiansen 1d867e5More docstringsDavid Raymond Christiansen 7f3d436Remove some commented out codeEdwin Brady e579ceeDocs for decEqDavid Raymond Christiansen 77701e1Save pattern definitions/missing casesEdwin Brady 3bb3273Remember to save deferred definition types in IBCEdwin Brady c5cb67cFix simple applicationEdwin Brady 45a0addUpdate for new unification error messagesDavid Raymond Christiansen 465d169Temporarily change back to UN to avoid strange errorsDavid Raymond Christiansen be0bf4cTemporarily remove function argument error reflectionDavid Raymond Christiansen f569155Update test for more informative error messagesDavid Raymond Christiansen fb3f7f0Use At to hold FCsDavid Raymond Christiansen 5cee305Update CHANGELOGDavid Raymond Christiansen aed179cTrack the providence of unification errorsDavid Raymond Christiansen ff742feActually track applications in the elaborator wrt unification failsDavid Raymond Christiansen b38bc03Add basic elaboration context tracking to unificationDavid Raymond Christiansen daafe34Merge pull request #980 from david-christiansen/jedesah-vect_lengthEdwin Brady ca564fdRemove java tests from travisEdwin Brady e9ef380Support text formatting in docstringsDavid Raymond Christiansen e7c5cb2Add a note to Vect.length about when to use itDavid Raymond Christiansen 1b81d69Merge pull request #985 from david-christiansen/keyword-highlightEdwin Brady 99ab467Merge pull request #984 from david-christiansen/fin-add-mulEdwin Brady 79000baMerge pull request #981 from david-christiansen/docsEdwin Brady ca30292Merge pull request #979 from david-christiansen/feature/aproposEdwin Brady 24bfcd8Merge pull request #977 from jedesah/vect_lengthEdwin Brady 15aebc9Add highlighting for keywords in interpreter outputDavid Raymond Christiansen 021e090Addition and multiplication of FinDavid Raymond Christiansen 10ef56bMore docstringsDavid Raymond Christiansen f73d721Add some docstringsDavid Raymond Christiansen 8c7bde9Improve display of :aproposDavid Raymond Christiansen fc65c25Make :apropos case-insensitiveDavid Raymond Christiansen bb3a7b7Support :apropos in IDESlaveDavid Raymond Christiansen 7862be6Merge pull request #978 from david-christiansen/feature/aproposEdwin Brady 834bda8Merge pull request #976 from ahmadsalim/bug/inductionnamefixEdwin Brady 6f0ef2fAdd :apropos to CHANGELOGDavid Raymond Christiansen 1921424Add :apropos command to REPLDavid Raymond Christiansen db22d5dAdd length to VectJean-Remi Desjardins d88d1caFixes idris-lang/Idris-dev#971. Renames induction holes such that they are unique in context.Ahmad Salim Al-Sibahi 3a315acMerge pull request #969 from JanBessai/MoreTailRecursionEdwin Brady ec9ac38Merge pull request #966 from david-christiansen/error-reflectionEdwin Brady