lambda_calculus 1.3.5 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';