2311d55rename O into Zraichoo13 years ago a76f8b3More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers in type class instances for types with indices.Edwin Brady14 years ago cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady14 years ago 665676bAdded :l and :m commands to REPLEdwin Brady14 years ago f2af303:addproof now adds most recent proof if no argument given Consistent with old behaviour, and with tutorialEdwin Brady14 years ago 5a6299bUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)Edwin Brady14 years ago b752e2dMade tutorial and examples consistent with latest libraryEdwin Brady15 years ago c613fabUpdate tutorialEdwin Brady15 years ago 6682ebbPropagate solutions properlyEdwin Brady15 years ago 628b851Added Cast to the prelude, and defined casts between primitivesEdwin Brady15 years ago 8b1e498Change 'data' and where syntax so that they don't need '|' This breaks old code - instead ofEdwin Brady15 years ago b0f47e1Made braces optional (at the expense of 'with' now needing the expression to be tested in brackets) do notation doesn't quite behave right - the first token after the do block must be at a lower level of indentation, which means putting it in brackets is awkward.Edwin Brady15 years ago 2e9fcd4Remove semicolons in tutorialEdwin Brady15 years ago ebf9100Binary adder exampleEdwin Brady15 years ago