From 4d940fb59be160571ea7a6f33b237c5c6f8c6942 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Wed, 25 Jan 2023 21:38:45 +0100
Subject: [PATCH] precedence levels

---
 test.hm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/test.hm b/test.hm
index adf26ac..c0c89d1 100644
--- a/test.hm
+++ b/test.hm
@@ -6,7 +6,6 @@ type Nat
 -- which will bring a recursor for the type into scope
 -- rec[Nat] : A → (A → A) → Nat → A
 
-
 -- defining addition as
 add : Nat → Nat → Nat
  := rec[Nat] (λx. x) (λf n. succ (f n))