git.iko.soy/Idris-dev
on 8a2804d 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.