diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
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 <dan@rostovtsev.org> + + 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 |