Issues
- 3
Add an operator for convenience
#53 opened by david-sledge - 2
Add a Generic instance for tuple
#49 opened by mikesol - 0
Contrast different ways to represent Tuples.
#36 opened by milesfrain - 0
- 2
- 1
Add type operator for /\
#24 opened by natefaubion - 1
HeytingAlgebra instance
#21 opened by garyb