Merge branch 'master' of githug.xyz:depsterr/hm

precedence levels
2023-01-25 21:39:07 +01:00 · 2023-01-25 21:38:45 +01:00
1 changed files with 0 additions and 1 deletions
--- 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))
Author	SHA1	Message	Date
depsterr	bc7565a1f7	Merge branch 'master' of githug.xyz:depsterr/hm	2023-01-25 21:39:07 +01:00
depsterr	4d940fb59b	precedence levels	2023-01-25 21:38:45 +01:00