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

Directory listing for easy-rewriting-1.0.0 candidate source tarball

easy-rewriting-1.0.0/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• easy-rewriting.cabal
• examples/
  • Examples/
    • AbstractSyntax.hs
    • Arithmetic.hs
    • Function.hs
    • Monad.hs
    • Trivial.hs
• src/
  • EasyRewriting.hs
  • EasyRewriting/
    • Check.hs
    • Rewrite.hs
• test/
  • Spec.hs