Skip to content

Process Elm-AST into suitable datatypes

Aggregate Information like:

  • All pre/postconditios
  • type invariants
  • to be continued

Plus, maybe get rid of some constructs in the AST.