We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 971f18f commit 7a24943Copy full SHA for 7a24943
CHANGELOG.md
@@ -1,3 +1,15 @@
1
+Version 3.3.0
2
+=============
3
+
4
+Changes
5
+-------
6
+- variable names can now contain digits (but they must start with a letter)
7
+- added `Term::{has_free_variables, is_isomorphic_to}`
8
9
+Thanks
10
11
+- @AgentElement for all the changes in this release
12
13
Version 3.2.2
14
=============
15
Cargo.toml
@@ -1,6 +1,6 @@
[package]
name = "lambda_calculus"
-version = "3.2.2"
+version = "3.3.0"
description = "A simple, zero-dependency implementation of pure lambda calculus in Safe Rust"
repository = "https://github.com/ljedrz/lambda_calculus"
documentation = "https://docs.rs/lambda_calculus"
0 commit comments