• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for idris-0.99.1 source tarball

idris-0.99.1/samples/tutorial/

• Makefile
• binary.idr
• bmain.idr
• btree.idr
• btreemod.idr
• classes.idr
• foo.idr
• hello.idr
• idiom.idr
• interp.idr
• letbind.idr
• prims.idr
• theorems.idr
• universe.idr
• usefultypes.idr
• vbroken.idr
• views.idr
• viewsbroken.idr
• wheres.idr