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

Directory listing for idris-0.9.4 source tarball

idris-0.9.4/tutorial/examples/

• binary.idr
• bmain.idr
• btree.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