type-booleans

Version 0.1 revision 0 uploaded by NicolasFrisby.

Package meta

Synopsis
Type-level booleans via type-families
Description

Type-level booleans with basic operators that short-circuit as much as possible.

Author
Nicolas Frisby <nicolas.frisby@gmail.com>
Bug reports
n/a
Category
Type System
Copyright
n/a
Homepage
n/a
Maintainer
Nicolas Frisby <nicolas.frisby@gmail.com>
Package URL
n/a
Stability
n/a

Components