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

Directory listing for proarrow-0.1 candidate source tarball

proarrow-0.1/test/

• Main.hs
• Examples/
  • Cofree.hs
  • CustomLaws.hs
  • Database.hs
  • Free.hs
  • FrontDoor.hs
  • Graph.hs
  • Readme.hs
  • SimplyTypedLambdaCalculus.hs
  • UntypedLambdaCalculus.hs
  • Vitrea.hs
• Props/
  • Bool.hs
  • Cospan.hs
  • Cost.hs
  • DPO.hs
  • Discrete.hs
  • Dot.hs
  • FinHask.hs
  • FinRel.hs
  • FinSet.hs
  • Finitary.hs
  • Free.hs
  • Hask.hs
  • Kleisli.hs
  • Mat.hs
  • Ordinal.hs
  • Paths.hs
  • PointedHask.hs
  • Sheaf.hs
  • Simplex.hs
  • Span.hs
  • Svg.hs
  • ZX.hs
  • Finitary/
    • Graph.hs
  • Optic/
    • FinRel.hs
    • Hask.hs
    • Linear.hs
  • Sheaf/
    • Chain.hs
    • Collage.hs