rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories
Safe HaskellNone
LanguageHaskell2010

Free.Scoped.TH

Documentation

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