From bd02f527956dafca0c3f1002cb700f38fd310b2c Mon Sep 17 00:00:00 2001 From: sebastian Date: Sun, 2 Apr 2023 13:48:11 +0200 Subject: [PATCH] Fixed structure a bit morer --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index afd3239..7266b86 100644 --- a/README.md +++ b/README.md @@ -13,6 +13,7 @@ Using the Hindley-Milner type checker: `./language -t hm example.crf` Using the bidirectional type checker: `./language -t bi example.crf` +The program to compile has to have the file extension `.crf` # Syntax and quirks The syntactic requirements differ a bit using the different type checkers.