1 changed files with 1 additions and 0 deletions
--- a/test.hm
+++ b/test.hm
@ -6,6 +6,7 @@ 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))