Deep embedding of imperative programs with code generation
Why do you think that https://github.com/xich/hermit-syb is a good alternative to imperative-edsl
Deep embedding of imperative programs with code generation
Why do you think that https://github.com/xich/hermit-syb is a good alternative to imperative-edsl