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

Directory listing for maam-0.2.0.0 source tarball

maam-0.2.0.0/

• EnvSetup.hs
• LICENSE
• Makefile
• README.md
• Setup.hs
• ghci.sh
• maam.cabal
• data/
  • hask-src/
    • Prog1.hs
    • Prog2.hs
  • lamif-src/
    • call-site-sensitivity.lam
    • flow-sensitivity.lam
    • object-sensitivity.lam
• src/
  • FP.hs
  • MAAM.hs
  • FP/
    • Compat.hs
    • Console.hs
    • Core.hs
    • DerivingJoinLattice.hs
    • DerivingLens.hs
    • DerivingMonoid.hs
    • DerivingPretty.hs
    • DerivingPrism.hs
    • Free.hs
    • GHCI.hs
    • IO.hs
    • Monads.hs
    • Parser.hs
    • Pretty.hs
    • TH.hs
  • Lang/
    • Hask.hs
    • LamIf.hs
    • Hask/
      • CPS.hs
      • Compat.hs
      • Execution.hs
      • GHCPlugin.hs
      • Monads.hs
      • Pretty.hs
      • Semantics.hs
      • SumOfProdVal.hs
      • Time.hs
      • ValConcrete.hs
    • LamIf/
      • Analyses.hs
      • CPS.hs
      • Examples.hs
      • Main.hs
      • Monads.hs
      • Parser.hs
      • Passes.hs
      • Pretty.hs
      • Semantics.hs
      • StateSpace.hs
      • Syntax.hs
      • Val.hs
  • MAAM/
    • Inject.hs
    • MonadStep.hs
    • Time.hs