info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Lambda calculus/functional programming packages
0 views
Skip to first unread message
YZ
Oct 2, 2006, 12:47:45 PM10/2/06
to
Are there any packages/tools for writing things in the lambda calculus and
other functional programming notations (e.g., let blocks)? I spent a while
searching on Google but found nothing. Thanks in advance.
other functional programming notations (e.g., let blocks)? I spent a while
searching on Google but found nothing. Thanks in advance.
0 new messages