rachel
/
cwfs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
cwfs/src/CwF.lagda.md

8 lines
95 B
Markdown
Raw Permalink Normal View History

fix CwF to be lagda
2022-10-09 01:11:34 +02:00
```
open import public CwF.Base
Began initial work
2022-10-06 00:05:15 +02:00
module CwF where
fix CwF to be lagda
2022-10-09 01:11:34 +02:00
```
CwF: cleaned up code, and comments
2022-10-08 13:03:08 +02:00
fix CwF to be lagda
2022-10-09 01:11:34 +02:00
This module just re-exports `CwF.Base`.