Sunset Tree

Package sum-def-1.10

Information

versions1.0→ 1.10 →1.14→1.31→ ··· → 1.67
descriptionsum-def
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed00:02:55 on Friday 16 September 2011

For more details see the package document.

Included By

  • sum-1.9 — Basic theory of sum types