git.iko.soy/Idris-dev
on master help sign in
history ofdocs/reference/repl.rst
all commits
06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) 0e5a476use `Double` instead of `Float` in docszjhmale 1726bf9Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten)Ahmad Salim Al-Sibahi 547273dAdd an example of binding without type annotationFriedrich von Never ce35f7aKeep :set options in sync.Robert Clipsham 696f336Replace "metavariable" with "hole"Michael Gilliland 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen b3157feFixed syntax for commands and some wordsJan de Muijnck-Hughes ab54660UpdatesJan de Muijnck-Hughes 8aa2d25Added basic repl documentationJan de Muijnck-Hughes