Idris2Doc : Data.MSF

Data.MSF

(source)
Reexports
import public Data.MSF.Core
import public Data.MSF.Event
import public Data.MSF.Running
import public Data.MSF.Util