Setup install opam $ opam switch create . && opam install . How to use $ cat i d. ($cons *65 ($cons *256 (x. x))) $ dune exec ./bin/main.exe < i > o.lazy o.lazy is a LazyK code that prints 'c'.