From 076d528bfaa55b71f9653c0579723ff565db5e7f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 18 Jan 2024 15:15:04 +0100
Subject: BLoCade

---
 readme.md | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'readme.md')

diff --git a/readme.md b/readme.md
index 87db161..78d6fb4 100644
--- a/readme.md
+++ b/readme.md
@@ -1,9 +1,14 @@
 # BLoC
 
 This project proposes a file format for programs encoded in binary
-lambda calculus (BLC). Its main goal is minimal redundancy and therefore
-allowing maximal optimization. The included `bloc` tool converts BLC to
-BLoC and heavily reduces its size.
+lambda calculus (BLC). Its main goal is to minimize redundancy by
+incorporating reference-based term sharing, while remaining easy to work
+with. The included `bloc` tool converts BLC to BLoC and greatly reduces
+its size.
+
+The additional tool `blocade` (found in
+[BLoCade](https://github.com/marvinborner/blocade)) can compile `.bloc`
+files to various targets, including a shared pure BLC representation.
 
 ## Results
 
-- 
cgit v1.2.3