From 0ddaf1b2c9ca66cf0ae03d2f6ad792c7885dfc32 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 21 Jun 2023 16:05:44 +0100
Subject: Add sums, vectors and arithmetic encodings.

Also define pretty printing of terms.
---
 src/Encoded/Union.idr | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Encoded/Union.idr')

diff --git a/src/Encoded/Union.idr b/src/Encoded/Union.idr
index 5c3b95c..00b07e7 100644
--- a/src/Encoded/Union.idr
+++ b/src/Encoded/Union.idr
@@ -2,6 +2,8 @@ module Encoded.Union
 
 import Term.Syntax
 
+-- Binary Union ----------------------------------------------------------------
+
 export
 (<+>) : Ty -> Ty -> Ty
 N <+> N = N
-- 
cgit v1.2.3