../ classes.rstSpelling in Sphinx documentation11 years ago conclusions.rstFix links11 years ago index.rstUpdates11 years ago interactive.rstSpelling in Sphinx documentation11 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.rstSpelling in Sphinx documentation11 years ago provisional.rstReplace "metavariable" with "hole"11 years ago starting.rstAdd --package contrib to tutorial11 years ago syntax.rstFix syntax rule documentation11 years ago testing.rstFix links11 years ago theorems.rstSpelling in Sphinx documentation11 years ago typesfuns.rstFix typo11 years ago views.rstFixed pipe symbol representation12 years ago