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

Directory listing for syntactic-1.17 source tarball

syntactic-1.17/

• CONTRIBUTORS
• LICENSE
• Setup.hs
• syntactic.cabal
• examples/
  • NanoFeldspar/
    • Core.hs
    • Extra.hs
    • Test.hs
    • Vector.hs
• src/
  • Data/
    • DynamicAlt.hs
    • PolyProxy.hs
  • Language/
    • Syntactic.hs
    • Syntactic/
      • Constraint.hs
      • Interpretation.hs
      • Sugar.hs
      • Syntax.hs
      • Traversal.hs
      • Constructs/
        • Binding.hs
        • Condition.hs
        • Construct.hs
        • Decoration.hs
        • Identity.hs
        • Literal.hs
        • Monad.hs
        • Tuple.hs
        • Binding/
          • HigherOrder.hs
          • Optimize.hs
      • Frontend/
        • Monad.hs
        • Tuple.hs
        • TupleConstrained.hs
      • Interpretation/
        • Equality.hs
        • Evaluation.hs
        • Render.hs
        • Semantics.hs
      • Sharing/
        • CodeMotion2.hs
        • Graph.hs
        • Reify.hs
        • ReifyHO.hs
        • SimpleCodeMotion.hs
        • StableName.hs
        • Utils.hs
• tests/
  • NanoFeldsparEval.hs
  • NanoFeldsparEval2.hs
  • NanoFeldsparTree.hs
  • gold/
    • matMul.txt
    • prog1.txt
    • prog2.txt
    • prog3.txt
    • prog4.txt
    • prog5.txt
    • prog6.txt
    • prog7.txt
    • prog8.txt
    • scProd.txt