Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for judge-0.1.2.0 candidate source tarball
judge-0.1.2.0/
CHANGELOG.md
LICENSE
README.md
Setup.hs
formulas.txt
judge.cabal
app/
CLI.hs
Main.hs
logic/
J-ghari.yml
J.yml
LP.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