Mordor OpenTheory Repo - Package sum-1.42

Sunset Tree

Package sum-1.42

Information

versions	1.6→ ··· →1.39→1.40→ 1.42 →1.45→1.47→ ··· → 1.61
description	Sum types
author	Joe Hurd <joe@gilith.com>
license	MIT
installed	18:46:48 on Sunday 17 June 2012

For more details see the package document.

Includes

sum-def-1.49 — Definition of sum types

Included By

base-1.98 — The standard theory library