pLam
pLam copied to clipboard
An interpreter for learning and exploring pure λ-calculus
Results
4
pLam issues
Sort by
recently updated
recently updated
newest added
recognize that `λfl. l 1 (λfl. l 2 empty)` is `[1,2]` when showing curried (partial) α-equivalent
enhancement
feature
`:cbv :d ` cannot be used. It would be nice if options are interchangeable
bug
enhancement
Redex coloring (when `:d` option is used) is still call-by-name based, that is - abstraction's argument is currently always colored all green, although it is being reduced in many steps...
bug