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

95 B
Raw Permalink Blame History 

open import public CwF.Base

module CwF where

This module just re-exports CwF.Base.