git.iko.soy/Idris-dev
on 0b669c7 help sign in
history ofdocs/reference/syntax-guide.rst
all commits
6237e19Fixing grammar and layout of documentation of totality directives.Guillaume Yziquel bd2fa8dDocumentation for partial, covering and total.Guillaume Yziquel 4162113Merge pull request #4264 from mlang/doctyposJason Felice d03a437Fix typos in docsMario Lang 4c40a72Remove deprecated %assert_totalJason Felice dad1728Fix "and" typo in syntax guideCameron Alexander 4b667a9Fix implication that implicit relates to totalityJason Felice fb9a5ecSmall revision to codata in the syntax guideEdwin Brady 3323d0cAdd docs on data syntaxThomas Scholtes 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