Sunset Tree

Package sum-def-1.10

Information

versions1.7→1.9→ 1.10 →1.11→1.14→ ··· → 1.67
descriptionsum-def
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed23:57:06 on Thursday 15 September 2011

For more details see the package document.

Included By

  • sum-1.9 — Basic theory of sum types