../ classes.rstFixing typo11 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.rsttypo: concatenatation -> concatenation11 years ago miscellany.rstUpdate docs for 'auto'11 years ago modules.rstCapitalize module name to match code sample11 years ago packages.rstRewrite "mathsing" to "testing"11 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.rstUpdate running text to match code change11 years ago theorems.rstHeading normalisation, and reST usage fixes.12 years ago typesfuns.rstMerge pull request #2470 from benjamin-hodgson/2460_multipleFields11 years ago views.rstFixed pipe symbol representation12 years ago