[Haskell-cafe] How to express constraint succeeded?

Paul aquagnu at gmail.com
Thu Aug 23 11:18:08 UTC 2018

Previous message: [Haskell-cafe] CFP: 4th International Workshop on Real World Domain Specific Languages
Next message: [Haskell-cafe] How to express constraint succeeded?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello, Dear Cafe! I have expression

     'True ~ 'True

in right hand side of type level function. Is some "constant" for the same?

Previous message: [Haskell-cafe] CFP: 4th International Workshop on Real World Domain Specific Languages
Next message: [Haskell-cafe] How to express constraint succeeded?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list