lambda_calculus 1.0.0 
lambda_calculus: ^1.0.0 copied to clipboard
A library for lambda calculus.
Lambda Calculus parser & evaluator. #
Use import 'package:lambda_calculus/lambda_calculus.dart'; to use this library.
At first I wanted to program it with a functional language such as Haskell, but then I decided to practice writing functions without using recursion. I chose to program with dart because it can be turned easily into javascript and deployed to the web if necessary.
Currently, it supports untyped Lambda Calculus as well as type construction. Next I will introduce syntactic fix and let notations.
See here for examples.
TODO: Documentation
Metadata
2
likes
0
pub points
0%
popularity
Publisher
unverified uploader
Metadata
A library for lambda calculus.
Repository (GitHub)
View/report issues
License
unknown (license)
