Mordor OpenTheory Repo - Package sum-1.40

Sunset Tree

Package sum-1.40

Information

versions	1.6→ ··· →1.37→1.39→ 1.40 →1.42→1.45→ ··· → 1.61
description	Sum types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	04:23:24 on Monday 11 June 2012

For more details see the package document.

Includes

sum-def-1.47 — Definition of sum types

Included By

base-1.91 — The standard theory library