git.iko.soy/Idris-dev
on 8a2804d help sign in
Idris-dev/tutorial/examples
17 files
../ MakefileError message tinker binary.idrrename O into Z bmain.idrWhitespace cleanup. btree.idrGive a bit more context for error messages classes.idrWhitespace cleanup. foo.idrWhitespace cleanup. hello.idrAdded :l and :m commands to REPL idiom.idrWhitespace cleanup. interp.idrWhitespace cleanup. letbind.idrMade tutorial and examples consistent with latest library prims.idrRemove semicolons in tutorial theorems.idrrename O into Z universe.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion usefultypes.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc vbroken.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc views.idrrename O into Z wheres.idrWhitespace cleanup.