git.iko.soy/Idris-dev
on d884d99 help sign in
d884d99Fix formatting in docs/tutorial/classes.rstNathan Dinsmore 3acb910Merge pull request #2208 from melted/promptNiklas Larsson 15fdeffSet colour off by default on WindowsNiklas Larsson 00ad5a3Merge pull request #2204 from aochagavia/patch-1Jan de Muijnck-Hughes 5d9ad32Merge pull request #2200 from Heather/unfoldDavid Christiansen f417e6cMerge pull request #2203 from david-christiansen/wip/tacticalDavid Christiansen 6a4b48dFix documentation detailAdolfo Ochagavía d953c01better show implementation (Z case instead if else for limitation)Heather 8073344Better errors on stuck reflected elaboratorsDavid Raymond Christiansen 83a0a20add coma before ...Heather 576ff3dadd %default total to Data/CoList.idrHeather 4fba4e6make show total for CoListHeather 2c505fcMerge pull request #2201 from david-christiansen/universe-error-reportDavid Christiansen 2c9dd02remove fixity redefinition for ++Heather 4d72379add basic instances for CoListHeather 8ab1ac6Richer universe error objectsDavid Raymond Christiansen 93a50ebcorrect codata CoList styleHeather 9cdbf3eadd Data.CoList with unfoldr to contribHeather ac99786Merge pull request #2198 from melted/indentNiklas Larsson a0f1c25Fix indenting of small case blocksNiklas Larsson 66c9c38Report universe errors using IDE protocolDavid Raymond Christiansen e7f9257Adding myselfNiklas Larsson fe6b072Merge pull request #2192 from melted/directiveNiklas Larsson 445f6a5Make PDirective IO monad freeNiklas Larsson 8935fedFix UPair's kindEdwin Brady 673a1fcTweak for types of case blocksEdwin Brady d1941f5Fix bug with Type*/AnyType in data declsEdwin Brady 84ba376Minor tweak to metavariable type generationEdwin Brady ed1f576Merge pull request #2191 from melted/issue-1320Niklas Larsson 67a9d66Permit use of spaces in paths when entered from REPL and as argsNiklas Larsson f0a5166Merge pull request #2189 from melted/ibc_tweakNiklas Larsson 58cb86316 bits for the version seems prudent now.Niklas Larsson 50797fdUse the Maybe functor to simplifyNiklas Larsson 2a4b4a7Merge pull request #2140 from BlackBrane/new-algDavid Christiansen 1621052Merge pull request #2187 from david-christiansen/wip/tacticalDavid Christiansen abbacd9Merge pull request #2185 from melted/more_ibcNiklas Larsson cc8d69cEncode empty items as missing entries.Niklas Larsson 28e2668Add reasonable tests for elaborator reflectionDavid Raymond Christiansen 2ea8961Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 86d1510Idiom brackets for Raw termsDavid Raymond Christiansen 5cdefc5Merge pull request #2170 from melted/zip_ibcNiklas Larsson 0d91d5aMerge pull request #2179 from SKoschnicke/patch-1Jan de Muijnck-Hughes ebf07d2Update introduction.rstSven Koschnicke 27d5b0fPrefer updateIState to get/put combo.Niklas Larsson 2e105c9Merge pull request #2175 from david-christiansen/wip/tacticalDavid Christiansen 5d4ab14Implement zip as the container used in IBC filesNiklas Larsson eea904dMerge pull request #2173 from Heather/intersectDavid Christiansen 4b7c132Test update for data def/mutual block fixDavid Raymond Christiansen b26c71cMerge pull request #2177 from david-christiansen/divMod-accessDavid Christiansen 8301f67Fix access modifiers in Data.Nat in contribDavid Raymond Christiansen