diff --git a/README.md b/README.md
index 72f8903..2e3cdd0 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ The ambitions are as follows:
 ## Circuit Generation
 Provable Programs
 - [x] API
-- [ ] DSL
+- [x] DSL
 - [x] R1CS
 
 ## Proving Systems
@@ -51,9 +51,9 @@ Structured Reference String (SRS) generation for Setup
 
 ## Special Thanks
 
-Check out these great project which have been the inspiration and reference for Nescience.
+Check out these great projects which have been the inspiration and reference for Nescience.
 
 - [Circom](https://github.com/iden3/circom) / [SnarkJS](https://github.com/iden3/snarkjs) (Javascript)
 - [libsnark](https://github.com/scipr-lab/libsnark) (C++)
 - [Gnark](https://github.com/ConsenSys/gnark) (Go)
-- [Bellman](https://github.com/zkcrypto/bellman/) (Rust)
\ No newline at end of file
+- [Bellman](https://github.com/zkcrypto/bellman/) (Rust)