2d02b09Fix reference to "refl" in misc referenceMarkus Klink10 years ago 01e9953Add missing quotation marks for `in`Rizo Isrof10 years ago 0e5a476use `Double` instead of `Float` in docszjhmale10 years ago 23a2bfbUpdate tutorial for class->interfaceEdwin Brady11 years ago c0063fftypo fixesBrent Yorgey11 years ago ad55342Fix syntax rule documentationv0.9.18Edwin Brady11 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes12 years ago ef50150UpdatesJan 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