diff --git a/hm.cf b/hm.cf index 174787a..07db277 100644 --- a/hm.cf +++ b/hm.cf @@ -16,7 +16,6 @@ separator Def ";" ; Decl. Decl ::= Id ":" TypeSig ; []. [Decl] ::= ; (:). [Decl] ::= "|" Decl [Decl]; --- todo custom [Decl] TypeFun. TypeSig ::= TypeSig1 "→" TypeSig ; TypeFun. TypeSig ::= TypeSig1 "->" TypeSig ;