From cf55e123917ad2ba443d482d2d05d3e5c96f0cf4 Mon Sep 17 00:00:00 2001 From: depsterr Date: Sat, 29 Jan 2022 00:13:01 +0100 Subject: [PATCH] hm.cf: remove redundant comment --- hm.cf | 1 - 1 file changed, 1 deletion(-) 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 ;