../ classes.rstFixing typo11 years ago conclusions.rstFix links11 years ago index.rstUpdates11 years ago interactive.rstFix links11 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.rstFix links11 years ago theorems.rstHeading normalisation, and reST usage fixes.12 years ago typesfuns.rstMerge pull request #2543 from jfdm/record-docs11 years ago views.rstFixed pipe symbol representation12 years ago