../ 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.rstUpdates11 years ago interactive.rstReplace "metavariable" with "hole"11 years ago interp.rstmake light of `Data.Vect` and `Data.Fin` imports in the interp example11 years ago introduction.rstFixes to Introduction.12 years ago miscellany.rstUpdate docs for 'auto'11 years ago modules.rstcorrect examples so that they actually compile11 years ago packages.rstUpdates11 years ago provisional.rstReplace "metavariable" with "hole"11 years ago starting.rstAdd Windows path for Cabal to tutorial11 years ago syntax.rstFix syntax rule documentation11 years ago testing.rstFixed naming error in test functions in tutorial.11 years ago theorems.rstHeading normalisation, and reST usage fixes.12 years ago typesfuns.rstFixed minor inconsistency in function definitions11 years ago views.rstFixed pipe symbol representation12 years ago