git.iko.soy/Idris-dev
on master help sign in
history ofbe22ac6..master
compare
9c13628Merge branch 'master' into agda-style-recordssualitu 392123bAppend Char to Stringcchantep aa61056Replace the Foldable List instanceDavid Feuer 26dba59Mergesualitu 0269d05More record stuff.Sune Alkaersig 86bcbbcAllowed unnamed fields.Sune Alkærsig b9f0b7eFix build after rebaseAndrew Cann 465cc1cMake `div` and `mod` functions partial.Andrew Cann bbbe880Merged.Sune Alkærsig 4373184Added records to changelog.Sune Alkærsig 9596463Merge branch 'master' into agda-style-recordsSune Alkærsig 7d42ba2Changed tests for new record syntax.Sune Alkærsig 7e43af7Changed libs to new record syntax.Sune Alkærsig f36a8f7Revamped record elaboration.Sune Alkærsig cfd6dbcStart of defining functions in TacticalDavid Raymond Christiansen d36f582Move comment about error reflection back homeDavid Raymond Christiansen 6d188c4Begin to use a sum type for post-elab IState tweaksDavid Raymond Christiansen aca1148Merge branch 'master' into agda-style-recordstdidriksen b5372b5Removed argument customization for now.Sune Alkærsig 681d876Merge branch 'master' into agda-style-recordsSune Alkærsig 6f0aff3Updated standard library to new record syntax.Sune Alkærsig 173703dAdded new (co)record syntax.Sune Alkærsig 663b670Add `until` function to prelude.Robert Clipsham