8073344Better errors on stuck reflected elaboratorsDavid Raymond Christiansen12 years ago 83a0a20add coma before ...Heather12 years ago 576ff3dadd %default total to Data/CoList.idrHeather12 years ago 4fba4e6make show total for CoListHeather12 years ago 2c505fcMerge pull request #2201 from david-christiansen/universe-error-reportDavid Christiansen12 years ago 2c9dd02remove fixity redefinition for ++Heather12 years ago 4d72379add basic instances for CoListHeather12 years ago 8ab1ac6Richer universe error objectsDavid Raymond Christiansen12 years ago 93a50ebcorrect codata CoList styleHeather12 years ago 9cdbf3eadd Data.CoList with unfoldr to contribHeather12 years ago ac99786Merge pull request #2198 from melted/indentNiklas Larsson12 years ago a0f1c25Fix indenting of small case blocksNiklas Larsson12 years ago 66c9c38Report universe errors using IDE protocolDavid Raymond Christiansen12 years ago ab2633eFinish changing to updateIStateNiklas Larsson12 years ago e7f9257Adding myselfNiklas Larsson12 years ago fe6b072Merge pull request #2192 from melted/directiveNiklas Larsson12 years ago 445f6a5Make PDirective IO monad freeNiklas Larsson12 years ago 8935fedFix UPair's kindEdwin Brady12 years ago 673a1fcTweak for types of case blocksEdwin Brady12 years ago d1941f5Fix bug with Type*/AnyType in data declsEdwin Brady12 years ago 84ba376Minor tweak to metavariable type generationEdwin Brady12 years ago ed1f576Merge pull request #2191 from melted/issue-1320Niklas Larsson12 years ago 67a9d66Permit use of spaces in paths when entered from REPL and as argsNiklas Larsson12 years ago f0a5166Merge pull request #2189 from melted/ibc_tweakNiklas Larsson12 years ago 58cb86316 bits for the version seems prudent now.Niklas Larsson12 years ago 50797fdUse the Maybe functor to simplifyNiklas Larsson12 years ago 2a4b4a7Merge pull request #2140 from BlackBrane/new-algDavid Christiansen12 years ago 1621052Merge pull request #2187 from david-christiansen/wip/tacticalDavid Christiansen12 years ago abbacd9Merge pull request #2185 from melted/more_ibcNiklas Larsson12 years ago cc8d69cEncode empty items as missing entries.Niklas Larsson12 years ago 28e2668Add reasonable tests for elaborator reflectionDavid Raymond Christiansen12 years ago 2ea8961Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago 86d1510Idiom brackets for Raw termsDavid Raymond Christiansen12 years ago 5cdefc5Merge pull request #2170 from melted/zip_ibcNiklas Larsson12 years ago 0d91d5aMerge pull request #2179 from SKoschnicke/patch-1Jan de Muijnck-Hughes12 years ago ebf07d2Update introduction.rstSven Koschnicke12 years ago 27d5b0fPrefer updateIState to get/put combo.Niklas Larsson12 years ago 2e105c9Merge pull request #2175 from david-christiansen/wip/tacticalDavid Christiansen12 years ago 5d4ab14Implement zip as the container used in IBC filesNiklas Larsson12 years ago eea904dMerge pull request #2173 from Heather/intersectDavid Christiansen12 years ago 4b7c132Test update for data def/mutual block fixDavid Raymond Christiansen12 years ago b26c71cMerge pull request #2177 from david-christiansen/divMod-accessDavid Christiansen12 years ago 8301f67Fix access modifiers in Data.Nat in contribDavid Raymond Christiansen12 years ago cd2be78Add PQuoteName to IBCDavid Raymond Christiansen12 years ago 83c2728Update test for changed mutual block and datatype behaviorDavid Raymond Christiansen12 years ago d6458bbAdd `{n} for quotations of the global name nDavid Raymond Christiansen12 years ago 3592edbReflection for SN, plus an SN for meta-stuffDavid Raymond Christiansen12 years ago 5f63dadclean up redundant spacesHeather12 years ago 6310e0eadd documentation to intersectBy and unionBY, change documentation for intersect, remove redundant patternsHeather12 years ago c56dee3Wrap data declarations in mutual blocksDavid Raymond Christiansen12 years ago