Mordor OpenTheory Repo - Package sum-1.33

Sunset Tree

Package sum-1.33

Information

versions	1.6→ ··· →1.25→1.31→ 1.33 →1.34→1.37→ ··· → 1.61
description	Sum types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	10:03:52 on Monday 13 February 2012

For more details see the package document.

Includes

sum-def-1.40 — Definition of sum types

Included By

base-1.80 — The standard theory library