This is a simple glossary of terms. It can cover technical terms, mathematical terms, tooling terms, and even general programming terms. Please feel free to make any additions desired without checking with the author! Try to keep everything in alphabetical order.
- Catamorphism
- Contravaraint: see covariance and contravariance
- Covariant: see covariance and contravariance
- Negative position: see covariance and contravariance
- Positive position: see covariance and contravariance
