Transform Elm AST to SBV AST
-
get a working example - examples for sbv will be available after #16 (closed)
- there is a factorial example in elm-examples for an "easy" elm ast
-
dis-/prove the factorial example -
complete transformation
Edited by Bennet Bleßmann