../ classes.rstFix typos, add small clarifications in type class chapter of tutorial.11 years ago conclusions.rstHeading normalisation, and reST usage fixes.12 years ago index.rstHeading normalisation, and reST usage fixes.12 years ago interactive.rstHeading normalisation, and reST usage fixes.12 years ago interp.rstinsert missed lambda param11 years ago introduction.rstFixes to Introduction.12 years ago miscellany.rstHeading normalisation, and reST usage fixes.12 years ago modules.rstcorrect examples so that they actually compile11 years ago packages.rstHeading normalisation, and reST usage fixes.12 years ago provisional.rstChange wording in unification errors11 years ago starting.rstFix typo in starting.rst11 years ago syntax.rstFix syntax rule documentation11 years ago theorems.rstHeading normalisation, and reST usage fixes.12 years ago typesfuns.rstAdd short section on first class types to tutorial11 years ago views.rstFixed pipe symbol representation12 years ago