@hackage tao-example1.0.0

Example usage of the tao package.

Categories
- Testing
License
MIT
Maintainer
Jason Shipman
Links
Versions
- 1.0.0 Tue, 20 Mar 2018

Installation
In your cabal file:
Dependencies (2)
- base >=4.10 && <5
- tao >=1.0.0 && <1.1.0
Dependents (1)
@hackage/acme-everything

Example usage of type-level assertions using tao.