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

Directory listing for structural-induction-0.1.2 source tarball

structural-induction-0.1.2/

• LICENSE
• Setup.hs
• structural-induction.cabal
• Induction/
  • Structural.hs
  • Structural/
    • Auxiliary.hs
    • Linearise.hs
    • Subterms.hs
    • Types.hs
    • Utils.hs
• test/
  • Main.hs