Mordor OpenTheory Repo - Package sum-1.37

Sunset Tree

Package sum-1.37

Information

versions	1.6→ ··· →1.33→1.34→ 1.37 →1.39→1.40→ ··· → 1.61
description	Sum types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	22:03:00 on Monday 26 March 2012

For more details see the package document.

Includes

sum-def-1.44 — Definition of sum types

Included By

base-1.86 — The standard theory library