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

Directory listing for structural-induction-0.3 source tarball

structural-induction-0.3/

• LICENSE
• Setup.hs
• changelog
• structural-induction.cabal
• Induction/
  • Structural.hs
  • Structural/
    • Auxiliary.hs
    • Linearise.hs
    • Subterms.hs
    • Types.hs
    • Utils.hs
• test/
  • Env.hs
  • EnvTypes.hs
  • Main.hs
  • Nat.hs
  • Trace.hs
  • Util.hs
  • Walk.hs