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

Directory listing for CSPM-ToProlog-0.5.1.0 source tarball

CSPM-ToProlog-0.5.1.0/

• CSPM-ToProlog.cabal
• LICENSE
• Setup.hs
• src/
  • Language/
    • CSPM/
      • AstToProlog.hs
      • CompileAstToProlog.hs
      • TranslateToProlog.hs
    • Prolog/
      • PrettyPrint/
        • Direct.hs