Fix sectioning bug of fold, iterate and friends
[matthijs/master-project/cλash.git] / clash / CLasH / Utils /
2010-06-16 Matthijs KooijmanAdd datacons_for function to get the datacons for a...
2010-06-16 Matthijs KooijmanDon't mix up the i and dc_i variables.
2010-06-09 Matthijs KooijmanAdd datacon_index function to find a datacon in a type.
2010-06-09 Matthijs KooijmanMake casesimpl support multiple-alt cases with fields.
2010-06-08 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2010-06-02 christiaanbRename cλash dir to clash so it behaves well within...