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

Published 2 years ago • Latest: 1.3.5
outdated
→

Metadata

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

More...

1.2.0 #

  • Change the signature of fmap so that "non-leaf" callbacks no longer have access to the term itself. This is because previous usage of this term is not consistent.

  • Fix the problem where variables with the same name can conflict with each other during evaluation.

  • Better printing format for LambdaType.

  • Fix typos in documentation.

  • Make Lambda final.

  • Remove dependency on dartz.

  • More tests.

1.1.1 #

  • Better documentation.

1.1.0 #

  • Stop allowing constructing Lambda directly, instead, use LambdaBuilder.
  • Access constants via LambdaBuilder.constants or Lambda.constants.
  • Fix the problem where the index of a variable is sometimes null.

1.0.0 #

  • Initial version.

← Metadata

2
likes
0
points
24
downloads

Publisher

unverified uploader

Weekly Downloads

Metadata

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

Back