From 5a08c9647ac12b8a1086190a527d28cc9d6d0b73 Mon Sep 17 00:00:00 2001
From: Martin Allen <31280145+martyall@users.noreply.github.com>
Date: Sun, 2 Jun 2024 16:16:17 -0700
Subject: [PATCH] Update README.md

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7d0b4d2..0f72ecf 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,8 @@ A Haskell library for building ZK programs
 - Low level arithmetic circuit DSL
 - Efficient constraint solver for arbitrary circuits
 - Binary codecs for core types (R1CS, witness, etc) which are compatible with the Circom toolchain
-- Witness generator which is WASM compatible with Circom witness generator binaries.
+- Witness generator which is WASM compatible with Circom witness generator binaries
+- A CLI to manage compilation, solving, witness verification, etc
 
 ## Examples
 - There are examples in `language/test` directory. See the [sudoku verifier](https://github.com/l-adic/arithmetic-circuits/blob/master/language/test/Test/Circuit/Sudoku.hs) for the most complete example.