lambda_calculus 1.3.2 copy "lambda_calculus: ^1.3.2" to clipboard
lambda_calculus: ^1.3.2 copied to clipboard

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

Use this package as a library

Depend on it

Run this command:

With Dart:

 $ dart pub add lambda_calculus

This will add a line like this to your package's pubspec.yaml (and run an implicit dart pub get):

dependencies:
  lambda_calculus: ^1.3.2

Alternatively, your editor might support dart pub get. Check the docs for your editor to learn more.

Import it

Now in your Dart code, you can use:

import 'package:lambda_calculus/lambda_calculus.dart';
2
likes
0
pub points
0%
popularity

Publisher

unverified uploader

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

Repository (GitHub)
View/report issues

License

unknown (license)

Dependencies

collection

More

Packages that depend on lambda_calculus