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

Directory listing for KiCS-prophecy-0.1.0 source tarball

KiCS-prophecy-0.1.0/

• KiCS-prophecy.cabal
• LICENSE
• Setup.hs
• .curry/
  • kics/
    • prophecy.hs
• Curry/
  • Files/
    • ProphecyPath.hs
  • Module/
    • AddWorld.curry
    • AddWorld.fcy
    • AddWorld.fint
    • CEventOracle.curry
    • CEventOracle.fcy
    • CEventOracle.fint
    • CEventOracle.hs.include
    • DebuggerPath.hs.include
    • EventOracle.curry
    • EventOracle.fcy
    • EventOracle.fint
    • LiftCases.curry
    • LiftCases.fcy
    • LiftCases.fint
    • Make.curry
    • Make.fcy
    • Make.fint
    • Oracle.curry
    • Oracle.fcy
    • Oracle.fint
    • Transform.curry
    • Transform.fcy
    • Transform.fint
    • Wrapper.curry
    • Wrapper.fcy
    • Wrapper.fint
• coracle/
  • coracle.c
  • coracle.h
• dist/
  • build/
    • Curry/
      • Module/
        • CEventOracle.hs
        • EventOracle.hs
        • LiftCases.hs
        • Make.hs
        • Oracle.hs
    • prophecy/
      • prophecy-tmp/
        • Curry/
          • Module/
            • AddWorld.hs
            • LiftCases.hs
            • Make.hs
            • Transform.hs
            • Wrapper.hs