diff options
Diffstat (limited to 'src/Term/Pretty.idr')
| -rw-r--r-- | src/Term/Pretty.idr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Term/Pretty.idr b/src/Term/Pretty.idr index cd7ed6f..043d478 100644 --- a/src/Term/Pretty.idr +++ b/src/Term/Pretty.idr @@ -152,6 +152,11 @@ prettyOp Pred = keyword "pred" prettyOp Minus = keyword "minus" prettyOp Div = keyword "div" prettyOp Mod = keyword "mod" +prettyOp (Inl _ _) = keyword "inl" +prettyOp (Inr _ _) = keyword "inr" +prettyOp (Prl _ _) = keyword "prl" +prettyOp (Prr _ _) = keyword "prr" +prettyOp (Arb _) = keyword "arb" parameters (names : Stream String) prettyTerm' : (len : Len ctx) => Prec -> Term ty ctx -> Doc Syntax |