Update README.md

README.md

@@ -24,11 +24,12 @@ You should see a print out of the parsed Rust AST circuit using the Debug trait.
 
 # Technical Design
 Python front end -> Python AST object -> serialize to JSON string -> pass JSON string to Rust using PyO3 -> deserialize JSON string to Rust AST defined in deserialize_types.rs -> convert to Chiquito AST
-Notes:
-- Likewise for `TraceWitness`.
+## Notes:
+- The process is likewise for `TraceWitness`.
 - Types in deserialize_types.rs are almost identical to Chiquito AST. They are created so that I can implement `Deserialize` trait for them. I cannot implement `Deserialize` trait for Chiquito types, because it's not allowed to implement a trait for a type in a third file in Rust
 - `Deserialize` trait is implemented in deserialize.rs
 - AST defined in deserialize_types.rs is converted to Chiquito AST using functions in convert_to_chiquito.rs
+- Rust bindings to expose to Python are in lib.rs
 
 # TODOs
 - Python functions for creating AST in PyChiquito