../ MakefileError message tinker15 years ago binary.idrrename O into Z13 years ago bmain.idrAdded :l and :m commands to REPL14 years ago btree.idrMade tutorial and examples consistent with latest library15 years ago classes.idrMade 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 a…15 years ago foo.idrMade 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 a…15 years ago hello.idrAdded :l and :m commands to REPL14 years ago idiom.idrrename fmap to map13 years ago interp.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago letbind.idrMade tutorial and examples consistent with latest library15 years ago prims.idrRemove semicolons in tutorial15 years ago theorems.idrrename O into Z13 years ago universe.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago usefultypes.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago vbroken.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago views.idrrename O into Z13 years ago wheres.idrrename O into Z13 years ago