Translate Let Bindings
Translate the following three expression kinds from the elm AST to the Verify AST
-
Let -
LetRec -
LetDestructor
Edited by Bennet Bleßmann
Translate the following three expression kinds from the elm AST to the Verify AST