From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Thu, 2 Apr 2026 12:15:09 -0400
Subject: Lambda v0.0.0

---
 README.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 60b3e9a..d36aef5 100644
--- a/README.md
+++ b/README.md
@@ -20,13 +20,18 @@ Requirements:
 
 - [rocq](https://rocq-prover.org/)
 
-The project is built with the GNU build system, but skips the
-configure step. Building is a one-liner.
+The project is built with the GNU build system.
 
 ```
+$ autoconf
+$ ./configure
 $ make
 ```
 
+## Installation
+
+See `INSTALL` for instructions.
+
 ## Citations
 
 1. Forster, Smolka 2017,
-- 
cgit v1.3