The latest version of smash is 0.1.3-0.
smash
Version 0.1.0.0 revision 2 uploaded by topos.
Package meta
- Synopsis
- Combinators for Maybe types
- Description
This package provides the calculus for pointed types, including the pointed product, Can, the pointed coproduct, Wedge, and the smash product.
- Author
- Emily Pillmore
- Bug reports
- https://github.com/emilypi/smash/issues
- Category
- Data
- Copyright
- (c) 2020 Emily Pillmore <emilypi@cohomolo.gy>
- Homepage
- https://github.com/emilypi/smash
- Maintainer
- emilypi@cohomolo.gy
- Package URL
- n/a
- Stability
- n/a