@hackage type-spine0.2

A spine-view on types

Categories
- Type System
License
BSD-3-Clause
Maintainer
Nicolas Frisby <nicolas.frisby@gmail.com>
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.2.20120924 Wed, 26 Sep 2012
- 0.2 Wed, 12 Sep 2012
- 0.1.2 Wed, 21 Mar 2012
- 0.1.1 Wed, 21 Mar 2012
- 0.1 Sun, 27 Nov 2011

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).

Installation
In your cabal file:
Dependencies (0)
Dependents (0)