lambda
lambda copied to clipboard
cicada-lang
An interpreter of lambda calculus.
Results
1
lambda issues
Sort by
recently updated
recently updated
newest added
> Normal forms of Parigot numerals are exponential in size, > but a reasonable term-graph implementation > should be able to keep them linear via sharing. Implement lamping reduction by...
