Appendix: Curry Primer

This appendix provides an introduction to the type system, syntax, and semantics of Curry. It assumes no prior knowledge of Functional Programming, Logic Programming, or Haskell. The intention is that after reading this one will find the Sprite documentation comprehensible.

Contents:

• The Curry Type System
• Curry Syntax
• Curry Semantics