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

Directory listing for idris-0.10 source tarball

idris-0.10/samples/tutorial/

• 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