35757f9use HTTPS URL instead of HTTP URL when possibleMilan Kral7 years ago ed93603Fix some typos and normalize the use of punctuations.Oling Cat9 years ago 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