git.iko.soy/Idris-dev
on eb041bc help sign in
history ofdocs/tutorial/testing.rst
all commits
9202fa1Fix linksJan de Muijnck-Hughes 056b307Update running text to match code changeJeremy W. Sherman 118d718Restores self-documenting test outputJeremy W. Sherman 6411f5dAdd example of running the testsJeremy W. Sherman b880868Fix testing example .ipkg syntaxJeremy W. Sherman b85b98fCaption code block with relative file pathsJeremy W. Sherman d1e9bf8Rephrase intro to testing tutorialJeremy W. Sherman 18931a4Fixed naming error in test functions in tutorial.Jan de Muijnck-Hughes 9f04257UpdatesJan de Muijnck-Hughes