ChangeLog


1
2
3
4
5
6
7
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