#compiler #interpreter #tree-structure #traits #modeling #imp #programs

yanked imp_tree

A collection of traits for modelling tree-structure in IMP programs

was Owned by eikopf.