The latest version of index-core is 1.0.4-1.

index-core

Version 1.0.0 revision 1 uploaded by HerbertValerioRiedel.

Package meta

Synopsis
Indexed Types
Description

This library implements indexed types in the style of Conor McBride, described in the functional pearl "Kleisli arrows of outrageous fortune", following his presentation closely.

This provides a more general form of indexed monad than the one people are most commonly familiar with.

Author
Gabriel Gonzalez
Bug reports
mailto:Gabriel439@gmail.com
Category
Control, Indexed
Copyright
2012 Gabriel Gonzalez
Homepage
n/a
Maintainer
Gabriel439@gmail.com
Package URL
n/a
Stability
Experimental

Components