git.iko.soy/Idris-dev
on 365d64f help sign in
Idris-dev/tutorial/content
13 files
../ classes.texConverted examples to listings. conclusions.texVarious 'beneath the hood' improvements made to the tutorial project. dsl.texConverted examples to listings. interp.texConverted examples to listings. intro.texConverted examples to listings. miscellany.texConverted examples to listings. modules.texFixed reference errors, and improved idrislang.sty. provisional.texConverted examples to listings. starting.texFixed reference errors, and improved idrislang.sty. syntax.texConverted examples to listings. theorems.texConverted examples to listings. typesfuns.texConverted examples to listings. views.texConverted examples to listings.