lambda_calculus 1.3.5 copy "lambda_calculus: ^1.3.5" to clipboard
lambda_calculus: ^1.3.5 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

With Flutter:

 $ flutter 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.5

Alternatively, your editor might support dart pub get or flutter 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
160
points
43
downloads

Publisher

unverified uploader

Weekly Downloads

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

Documentation

API reference

License

BSD-3-Clause (license)

More

Packages that depend on lambda_calculus