core-to-isabelle icon indicating copy to clipboard operation
core-to-isabelle copied to clipboard

Published 20 hours ago • verified publisher icon atomb

Separate translator phases

Open dagit opened this issue 13 years ago • 0 comments

  • Alpha renaming should be a different step
  • zdecoding should be a different step
  • simplified pretty printing AST

dagit avatar Aug 27 '11 23:08 dagit