This significantly simplify things since we don't need to treat top level lambdas specially. This simplify both evaluator and type checker. Recursion checks even become redundant.. Even compilation to core becomes simpler since we don't need to perform lambda lifting anymore
This significantly simplify things since we don't need to treat top level lambdas specially. This simplify both evaluator and type checker. Recursion checks even become redundant.. Even compilation to core becomes simpler since we don't need to perform lambda lifting anymore