1faefbaFix typo in docs/tutorial/typesfuns.rstNathan Dinsmore12 years ago 6a4b48dFix documentation detailAdolfo Ochagavía12 years ago d077509Updated typesfuns.rstJan de Muijnck-Hughes12 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago 9ddf8a1Small wording changes in Data.Fin section of tutorialBryn Keller12 years ago 61fc842Clarify Data.Fin meaning for people who haven't seen this usage beforeBryn Keller12 years ago df9c178Fixes build errors relating to use of Sphinx 1.2.2.Jan de Muijnck-Hughes12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago 454ec21Add section on package creation, and typo fixes.Jan de Muijnck-Hughes12 years ago ef50150UpdatesJan de Muijnck-Hughes12 years ago 673bb99Fixed the last set (hopefull) of errors from the pandoc conversion.Jan de Muijnck-Hughes12 years ago b70f2f1Updated license to be CC0 and restored missing section.Jan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago