This week's Casper Standup covered the translation of the exponential fragment of the parsimonious lambda calculus.
06 Mar 2021, 15:07
This week’s Casper Standup covered the translation of the exponential fragment of the parsimonious lambda calculus. This completes to translation of the whole parsimonious lambda into rho-calculus.