[X] The "/TrustedGRUB-1.1.3/008_all_grub-0.97-AM_PROG_AS.patch" file could not be found or is not available. Please select another file.

A complete and learning-friendly interpreter for the lambda calculus. Allows many different reduction sequences, as well as rich environment which includes common lambda terms such as the Y combinator, includes a module system and GUI.


http://lambdakit.sourceforge.net





Separate each tag with a space.

Topic:

Intended Audience:

User Interface:

Programming Language:

Registered:

2009-07-01

Ratings and Reviews

Be the first to post a text review of Lambdakit. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Lambdakit Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks