diff --git a/README.md b/README.md index 167cb78..1e6f524 100644 --- a/README.md +++ b/README.md @@ -15,6 +15,12 @@ use predefined ones from the `terms` subpackage. Python >= 3.10 is required to use this package. +## Installation + +```sh +python3 -m pip install lambda-calculus +``` + ## Examples (λy.(λx.(λy. + x y)) y 3) 4 diff --git a/lambda_calculus/__init__.py b/lambda_calculus/__init__.py index 5b2aa61..571dd1b 100644 --- a/lambda_calculus/__init__.py +++ b/lambda_calculus/__init__.py @@ -4,7 +4,7 @@ from .terms import Variable, Abstraction, Application -__version__ = "1.10.0" +__version__ = "1.10.1" __author__ = "Eric Niklas Wolf" __email__ = "eric_niklas.wolf@mailbox.tu-dresden.de" __all__ = ( diff --git a/pyproject.toml b/pyproject.toml index 953601b..e55c79f 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [project] name = "lambda_calculus" -version = "1.10.0" +version = "1.10.1" description = "Implementation of the Lambda calculus" requires-python = ">=3.10" keywords = [] @@ -19,7 +19,7 @@ file = "README.md" content-type = "text/markdown" [project.license] -file = "LICENSE" +text = "GNU General Public License v3 (GPLv3)" [[project.authors]] name = "Eric Niklas Wolf"