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

Directory listing for idris-1.0 candidate source tarball

idris-1.0/samples/

• ST/
  • Composite.idr
  • Intro.idr
  • Login.idr
  • LoginCount.idr
  • TreeTag.idr
  • Graphics/
    • Draw.idr
    • Turtle.idr
  • Net/
    • EchoSimple.idr
    • Network.idr
    • RandServer.idr
    • Threads.idr
• 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/
  • BMain.idr
  • BTree.idr
  • BTreeMod.idr
  • Foo.idr
  • Hello.idr
  • Idiom.idr
  • Interfaces.idr
  • Interp.idr
  • LetBind.idr
  • Makefile
  • Prims.idr
  • Record.idr
  • Theorems.idr
  • Universe.idr
  • UsefulTypes.idr
  • VBroken.idr
  • Views.idr
  • ViewsBroken.idr
  • Wheres.idr