From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001 From: Dan Rostovtsev Date: Thu, 2 Apr 2026 12:15:09 -0400 Subject: Lambda v0.0.0 --- ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 ChangeLog (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog new file mode 100644 index 0000000..0bbf539 --- /dev/null +++ b/ChangeLog @@ -0,0 +1,8 @@ +2026-04-02 Daniel Rostovtsev + + v0.0.0: Fundamental theorems and objects for writing proofs about + the untyped lambda calculus. Includes: + + - A weak call-by-value lambda calculus and beta reduction + - Church-Rosser Properties + - Uniform Confluence -- cgit v1.3