summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/core.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core.rs b/src/core.rs
index 5a521b5..a9de970 100644
--- a/src/core.rs
+++ b/src/core.rs
@@ -294,6 +294,11 @@ impl<'i, S, A: Display> Expr<'i, S, A> {
write!(f, " else ")?;
c.fmt_c(f)
}
+ &Pi("_", ref b, ref c) => {
+ b.fmt_c(f)?;
+ write!(f, " → ")?;
+ c.fmt_b(f)
+ }
&Pi(a, ref b, ref c) => {
write!(f, "∀({} : ", a)?;
b.fmt(f)?;