search

dnlkrgr / lambda

interpreter for an untyped lambda calculus without the y-combinator
BSD 3-Clause "New" or "Revised" License
2 stars 1 forks source link

Support pragmas #7

Open dnlkrgr opened 5 years ago

dnlkrgr commented 5 years ago

for example, have an in-built pragma for the Y combinator and let users save pragmas for using "variables"