An EDSL in Haskell generating C code frVery small subset of https://github.com/Feldspar with the experimental features like