Resolve types in lambda arguments, recursively substitute
[scheme.git] / rts.c
2019-07-17 Luke LauAdd consolidation, tie up with typechecker