@hackage tao1.0.0

Type-level assertion operators.

tao

# Build the project.
stack build

# Generate documentation.
stack haddock