From 04ce88ce93523988ec1dc6775ac6a4b439e90913 Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Wed, 24 Jan 2024 21:31:24 +0100
Subject: WIP rewrite code transform typing

---
 chad-fast.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'chad-fast.cabal')

diff --git a/chad-fast.cabal b/chad-fast.cabal
index 27c5520..fb5f4de 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -17,6 +17,7 @@ library
     CHAD
     -- Compile
     Example
+    Lemmas
     PreludeCu
     Simplify
   other-modules:
-- 
cgit v1.2.3-70-g09d2