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

Directory listing for idris-1.3.0 documentation

idris-1.3.0-docs/samples/

• effects/
  • ConsoleIO.idr
  • Exception.idr
  • Random.idr
  • ReadInt.idr
  • Select.idr
  • TreeTag-noeff.idr
  • TreeTag.idr
  • TreeTagCount.idr
  • hworld.idr
  • vadd.idr
• misc/
  • binary.idr
  • interp-alt.idr
  • interp.idr
  • javaffi.idr
  • named_implementation.lidr
  • reflection.idr
• tutorial/
  • BMain.idr
  • BTree.idr
  • BTreeMod.idr
  • Foo.idr
  • Hello.idr
  • Idiom.idr
  • Interfaces.idr
  • Interp.idr
  • LetBind.idr
  • Prims.idr
  • Record.idr
  • Theorems.idr
  • Universe.idr
  • UsefulTypes.idr
  • VBroken.idr
  • Views.idr
  • ViewsBroken.idr
  • Wheres.idr