Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Interaction.Command.RetryConstraints
Documentation
retryConstraints :: TCM ByteString Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Interaction.Command.RetryConstraints
retryConstraints :: TCM ByteString Source #