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

Directory listing for ty-0.1.5 source tarball

ty-0.1.5/

• COPYING
• Setup.lhs
• ty.cabal
• src/
  • Data/
    • IsTy.hs
    • Ty.hs
    • Proof/
      • EQ.hs