lambda (math/lambda) Add to my watchlist
A lambda calculus interpreterLambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I.
Version: 0.1.4 License: GPL-2
GitHub
| Maintainers | No Maintainer |
| Categories | math |
| Homepage | http://66.47.116.75/~demo/lambda/ |
| Platforms | darwin |
| Variants |
|
"lambda" depends on
build (1)
Ports that depend on "lambda"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if lambda was updated (Connection timed out after 30002 milliseconds)
last updated: 21 hours ago