Commit 8314f274 authored by Luca Bataillard's avatar Luca Bataillard
Browse files

add optimization test

parent e3128c7f
(def byte-write (fun (c) (@byte-write c)))
(def compose
(fun (f g)
(fun (x) (f (g x)))))
(def + (fun (x y) (@+ x y)))
(def succ (fun (x) (+ x 1)))
(def twice (fun (x) (+ x x)))
(byte-write ((compose succ twice) 39))
(byte-write ((compose succ succ) 73))
(byte-write ((compose twice succ) 4))
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment