-
Erdweg, Sebastian authored
Generate ADTs for infinite outputs (Type and Context) and translate their judgments to ADT functions. TODO: for `Anno` we return the type annotation. This type must first be converted to an ADT before returning.
bd90ebb9
Generate ADTs for infinite outputs (Type and Context) and translate their judgments to ADT functions. TODO: for `Anno` we return the type annotation. This type must first be converted to an ADT before returning.