Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data QuotingKit Source
QuotingKit | |
|
quoteString :: String -> Term Source
quoteConName :: ConHead -> Term Source
quoteMeta :: AbsolutePath -> MetaId -> Term Source
quoteDefn :: Definition -> TCM Term Source