fix CwF to be lagda

2022-10-09 01:11:34 +02:00 · 2022-10-09 01:11:34 +02:00 · 4965c316c9
commit 4965c316c9
parent 8e1cc0e551
1 changed files with 6 additions and 2 deletions
--- a/src/CwF.lagda.md
+++ b/src/CwF.lagda.md
@ -1,3 +1,7 @@
-module CwF where
+```
+open import public CwF.Base

-open import public CwF.Base
+module CwF where
+```
+
+This module just re-exports `CwF.Base`.