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

Directory listing for equational-reasoning-induction-0.6.0.0 source tarball

equational-reasoning-induction-0.6.0.0/

• LICENSE
• Setup.hs
• equational-reasoning-induction.cabal
• src/
  • Proof/
    • Induction.hs
    • Internal/
      • THCompat.hs