rzk-0.7.4: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Free.Scoped.TH

Documentation

mkConP :: Name -> [Pat] -> Pat Source #