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

Directory listing for idris-0.12.3 candidate source tarball

idris-0.12.3/samples/

• effects/
  • ConsoleIO.idr
  • Exception.idr
  • Makefile
  • Random.idr
  • ReadInt.idr
  • Select.idr
  • TreeTag-noeff.idr
  • TreeTag.idr
  • TreeTagCount.idr
  • hworld.idr
  • vadd.idr
• misc/
  • Makefile
  • binary.idr
  • interp-alt.idr
  • interp.idr
  • javaffi.idr
  • named_implementation.lidr
  • reflection.idr
• 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