git.iko.soy/Idris-dev
on 2dfba31 help sign in
history ofdocs/reference/syntax-guide.rst
all commits
3707ed1fix docs section header for anonymous functionsShane Pearman 61f272cUpdated User Docs for new visibility modifiers.Jan de Muijnck-Hughes 96c9239Reference docs: correct sentence about type syntax.Echo Nolan 33fb426syntax guide: discuss modules, imports.Cliff L. Biffle 7f6f3c4Spelling in Sphinx documentationEcho Nolan b1ce657Fixed styling for multi line string literal docsworldsayshi f5e56a6typo when correcting typoworldsayshi b6fd663added multi line strings doc and fixed typoworldsayshi b3157feFixed syntax for commands and some wordsJan de Muijnck-Hughes ab54660UpdatesJan de Muijnck-Hughes