git.iko.soy/Idris-dev
on 3ce4e48 help sign in
history ofdocs/tutorial/introduction.rst
all commits
35757f9use HTTPS URL instead of HTTP URL when possibleMilan Kral 2c001c9Refresh the tutorialEdwin Brady adc85d7Minor edits to the tutorialEdwin Brady 43f0e82Add quotes to "Hello world!"Daniël Heres 50104a4typo: concatenatation -> concatenationHeather e08d9d8Fixes to Introduction.Jan de Muijnck-Hughes 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes c093a9aFixed fontification of Idris from code to normal.Jan de Muijnck-Hughes 0f65b89Documentation tweaksEdwin Brady ef50150UpdatesJan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes