blob: c7aef3b7391a83fbc94e178425df7aa9e42e9f86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
2026-04-02 Daniel Rostovtsev <dan@rostovtsev.org>
v0.0.1: Separating validation from check.
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
|
