Safe Haskell | None |
---|
Agda.TypeChecking.ProjectionLike
- makeProjection :: QName -> TCM ()
Documentation
makeProjection :: QName -> TCM ()Source
Turn a definition into a projection if it looks like a projection.
Agda-2.3.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.TypeChecking.ProjectionLike
makeProjection :: QName -> TCM ()Source
Turn a definition into a projection if it looks like a projection.