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

Directory listing for online-atps-0.1.1.3 candidate source tarball

online-atps-0.1.1.3/

• LICENSE
• README.md
• Setup.hs
• online-atps.cabal
• src/
  • Main.hs
  • OnlineATPs/
    • CheckOutput.hs
    • Consult.hs
    • Defaults.hs
    • Options.hs
    • SystemATP.hs
    • SystemOnTPTP.hs
    • Urls.hs
    • Utils/
      • Monad.hs
      • PrettyPrint.hs
      • Show.hs
      • Version.hs
      • Yaml.hs
  • data/
    • online-atps.yml