Media Summary: Implementing additional numeric operations for Graphical notation invented by John Tromp ( Code at ... This lecture covers a translation of a significant subset of Scheme down to just three forms: lambdas, variables, and applications.
Plait Encoding 7 Church Numerals - Detailed Analysis & Overview
Implementing additional numeric operations for Graphical notation invented by John Tromp ( Code at ... This lecture covers a translation of a significant subset of Scheme down to just three forms: lambdas, variables, and applications. The `let` form can be converted by Curly's parser into to a `lambda` that is immediately applied.
