λ-Q# Core Language λ-Q# core for experimentation Prerequisites BNF Converter: cabal install BNFC (I am using BNFC v2.9.4). For ocaml target: opam install menhir For haskell target: cabal install alex happy