@hackage syntax-example1.0.0.0

Example application using syntax, a library for abstract syntax descriptions.

The code:

• Main.hs

Example input:

(\f->
(\x
     -> f     ((x) x)) (\x
-> f  (x x)
)
(\x -> "test")
(\y -> y +2.0e13))

Example output:

Abs "f" (App (App (App (Abs "x" (App (Var "f") (App (Var "x") (Var "x")))) (Abs "x" (App (Var "f") (App (Var "x") (Var "x"))))) (Abs "x" (Lit (LitStr "test")))) (Abs "y" (App (Var "y") (Lit (LitNum 2.0e13)))))
\f -> (\x -> f (x x)) (\x -> f (x x)) (\x -> "test") (\y -> y 2.0e13)