From 81a961940dd3cdb5e1b2abf66578fb3371f23065 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Thu, 2 Apr 2026 13:49:18 -0400
Subject: Lambda v0.0.1

---
 ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 0bbf539..c7aef3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+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
-- 
cgit v1.3