Closed porcuquine closed 3 years ago
As the type specification for EXPR grew it became at once too complicated and incomplete. Now that we use a functional predicate, we can handle the necessary recursion more simply.
As the type specification for EXPR grew it became at once too complicated and incomplete. Now that we use a functional predicate, we can handle the necessary recursion more simply.