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

Directory listing for zsyntax-0.2.0.0 source tarball

zsyntax-0.2.0.0/

• CHANGELOG.md
• LICENSE
• README
• zsyntax.cabal
• src/
  • Otter.hs
  • Zsyntax.hs
  • Otter/
    • Rule.hs
    • SearchRes.hs
    • Internal/
      • Search.hs
      • Structures.hs
  • Zsyntax/
    • Formula.hs
    • ReactionList.hs
    • Labelled/
      • DerivationTerm.hs
      • Formula.hs
      • Rule.hs
      • Rule/
        • BipoleRelation.hs
        • Frontier.hs
        • Interface.hs
• test/
  • Main.hs