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

Directory listing for judge-0.1.3.0 source tarball

judge-0.1.3.0/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• formulas.txt
• judge.cabal
• app/
  • CLI.hs
  • Main.hs
• logic/
  • J0-PB.yml
  • J0.yml
  • LP.yml
  • example.yml
• src/
  • Logic/
    • Judge/
      • Formula.hs
      • PointedList.hs
      • Writer.hs
      • Formula/
        • Datastructure.hs
        • Parser.hs
        • Substitution.hs
      • Prover/
        • Tableau.hs
        • Yaml.hs
        • Tableau/
          • Analytics.hs
      • Writer/
        • LaTeX.hs
        • Plain.hs