Portability | non-portable |
---|---|
Stability | experimental (MPTC, non-standarad instances) |
Maintainer | alfonso.acosta@gmail.com |
Type-level Booleans.
Portability | non-portable |
---|---|
Stability | experimental (MPTC, non-standarad instances) |
Maintainer | alfonso.acosta@gmail.com |
Type-level Booleans.