git.iko.soy/Idris-dev
on 735fbd2 help sign in
history ofdocs/tutorial/interfaces.rst
all commits
43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes c9290f9docs/tutorial/interfaces.rst: s/return/pure/gLangston Barrett 0e5a476use `Double` instead of `Float` in docszjhmale 62094ddAdd brief tutorial sectionEdwin Brady 9f7f858More minor tutorial edits and correctionsEdwin Brady 23a2bfbUpdate tutorial for class->interfaceEdwin Brady