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

Directory listing for pesca-4 source tarball

pesca-4/

• LICENSE
• README
• Setup.hs
• pesca.cabal
• doc/
  • geometry
  • lattices
  • manual.tex
  • proof.sty
• src/
  • Axioms.hs
  • Calculi.hs
  • Editor.hs
  • Interaction.hs
  • Natural.hs
  • PSequent.hs
  • PrelSequent.hs
  • Sequent.hs