From 89304b27ea81270684810c18d3315c9d399beaf9 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Tue, 5 May 2026 11:15:07 +0100
Subject: address remaining TODO, fix issues with left-nesting for for and ext,
 add motivation blurb to the readme

---
 src/ast.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ast.rs')

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>,
-- 
cgit v1.3.1