Monadoc

type-spine

Version 0.2.20120924 revision 0 uploaded by NicolasFrisby.

Package meta

Synopsis
A spine-view on types
Description

This is very much a "bumping up" of the term-level spine view, c.f. Hinze's work and Emil Axelsson's hackage package syntactic.

See the type-cereal and type-ord packages for use cases (ultimately supporting the yoko package).

Author
Nicolas Frisby <nicolas.frisby@gmail.com>
Bug reports
n/a
Category
Type System
Copyright
n/a
Homepage
n/a
Maintainer
Nicolas Frisby <nicolas.frisby@gmail.com>
Package URL
n/a
Stability
n/a

Components