diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 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: |