From 7a67a4ce8c207842d14414ed16587fe05cedafcc Mon Sep 17 00:00:00 2001 From: LLLL Colonq Date: Tue, 16 Jan 2024 13:16:52 -0500 Subject: Support type variables in typechecker --- fig-bless/src/Fig/Bless.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'fig-bless/src/Fig/Bless.hs') diff --git a/fig-bless/src/Fig/Bless.hs b/fig-bless/src/Fig/Bless.hs index 0816a98..1005a49 100644 --- a/fig-bless/src/Fig/Bless.hs +++ b/fig-bless/src/Fig/Bless.hs @@ -2,9 +2,13 @@ module Fig.Bless ( module Fig.Bless.Syntax , module Fig.Bless.Runtime , module Fig.Bless.Builtins + , module Fig.Bless.Types + , module Fig.Bless.TypeChecker ) where import Fig.Bless.Syntax import Fig.Bless.Runtime import Fig.Bless.Builtins +import Fig.Bless.Types +import Fig.Bless.TypeChecker -- cgit v1.2.3