Gilith OpenTheory Repo - Package sum-1.39

Sunset Tree

Package sum-1.39

Information

versions	1.0→ ··· →1.34→1.37→ 1.39 →1.40→1.42→ ··· → 1.61
description	Sum types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	23:57:43 on Monday 4 June 2012

For more details see the package document.

Includes

sum-def-1.46 — Definition of sum types

Included By

base-1.90 — The standard theory library