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

Directory listing for syntactic-3.2 source tarball

syntactic-3.2/

• CONTRIBUTORS
• LICENSE
• Setup.hs
• syntactic.cabal
• benchmarks/
  • JoiningTypes.hs
  • MainBenchmark.hs
  • Normal.hs
  • WithArity.hs
• examples/
  • Monad.hs
  • NanoFeldspar.hs
  • NanoFeldsparComp.hs
  • WellScoped.hs
• src/
  • Language/
    • Syntactic.hs
    • Syntactic/
      • Decoration.hs
      • Functional.hs
      • Interpretation.hs
      • Sugar.hs
      • Syntax.hs
      • TH.hs
      • Traversal.hs
      • Functional/
        • Sharing.hs
        • Tuple.hs
        • WellScoped.hs
      • Sugar/
        • Binding.hs
        • BindingTyped.hs
        • Monad.hs
        • MonadTyped.hs
        • Tuple.hs
        • TupleTyped.hs
• tests/
  • MonadTests.hs
  • NanoFeldsparTests.hs
  • TH.hs
  • Tests.hs
  • WellScopedTests.hs
  • gold/
    • ex1_Monad.txt
    • ex1_WS.txt
    • fib.txt
    • matMul.txt
    • scProd.txt
    • spanVec.txt