address remaining TODO, fix issues with left-nesting for for and ext, add motivation blurb to the readme

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ast.rs b/src/ast.rs
index 76b6c9f..e254c65 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -71,7 +71,7 @@ pub enum Signature {
     #[display("theory {{ {} }}", _0.iter().map(|f| f.to_string()).collect::<Vec<_>>().join(" , "))]
     Theory(Vec<Field<Signature>>),
 
-    #[display("{} -> {}", params.iter().map(|p| p.to_string()).collect::<Vec<_>>().join(", "), codomain)]
+    #[display("{} -> {}", params.iter().map(|p| p.to_string()).collect::<Vec<_>>().join(""), codomain)]
     Ext {
         params: Vec<Param>,
         codomain: Box<Signature>,