shrub/pkg/hs-hoon/lib/Language/Hoon/SpecToMold.hs

10 lines
254 B
Haskell

module Language.Hoon.SpecToMold (specToMold) where
import Prelude
import Language.Hoon.Types
-- | factory:ax. Given a spec and a boolean (?) produces a normalizing gate.
specToMold :: Bool -> Spec -> Hoon
specToMold fab spec = error "TODO specToMold"