7d42ba2Changed tests for new record syntax.Sune Alkærsig12 years ago 7e43af7Changed libs to new record syntax.Sune Alkærsig12 years ago f36a8f7Revamped record elaboration.Sune Alkærsig12 years ago cfd6dbcStart of defining functions in TacticalDavid Raymond Christiansen12 years ago 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