From 8b3a9b8f0d80e7dd789f363deb6bb36189a31f01 Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Sun, 18 May 2025 08:17:20 -0700
Subject: Add a typechecker

---
 program.cm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'program.cm')

diff --git a/program.cm b/program.cm
index c99286a..8fbdf7a 100644
--- a/program.cm
+++ b/program.cm
@@ -2,7 +2,7 @@ Group is
 
 Buffer.sml
 CPS.sml
-Codegen.sml
+CodeGen.sml
 Compiler.sml
 Elab.sml
 GenSym.sml
@@ -12,6 +12,8 @@ Opts.sml
 Parser.sml
 Result.sml
 ShowSyntax.sml
+Sort.sml
 Syntax.sml
+Types.sml
 
 $/basis.cm
-- 
cgit v1.3.1