3c32b65Whitespace cleanup.George Leontiev13 years ago 61d39daSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etcEdwin Brady13 years ago faf04f3rename fO into fZraichoo13 years ago 8f76315Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.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 f355c72Update dependencies and correct examplesEdwin Brady15 years ago d466a82Tutorial updatesEdwin Brady15 years ago 7df6265Remove some needless bracketing from if...then...elseEdwin 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 310ca03First complete tutorial draftEdwin Brady15 years ago c6c3901Added well-typed interpreter section to tutorialEdwin Brady15 years ago