d36f582Move comment about error reflection back homeDavid Raymond Christiansen12 years ago 6d188c4Begin to use a sum type for post-elab IState tweaksDavid Raymond Christiansen12 years ago aca1148Merge branch 'master' into agda-style-recordstdidriksen12 years ago b5372b5Removed argument customization for now.Sune Alkærsig12 years ago 681d876Merge branch 'master' into agda-style-recordsSune Alkærsig12 years ago 6f0aff3Updated standard library to new record syntax.Sune Alkærsig12 years ago 173703dAdded new (co)record syntax.Sune Alkærsig12 years ago 663b670Add `until` function to prelude.Robert Clipsham12 years ago