git.iko.soy/Idris-dev
on 9bffc19 help sign in
history ofdocs/tutorial/interfaces.rst
all commits
ed93603Fix some typos and normalize the use of punctuations.Oling Cat f8c2edfFix reST errors.Jan de Muijnck-Hughes a8b73ddUpdate interfaces to remove use of constantsTim McGilchrist 2c001c9Refresh the tutorialEdwin Brady 662e247Add ST tutorial section on DataStore interfaceEdwin Brady c271f58Support interfaces in mutual blocksEdwin Brady 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