HTTPS clone URL
Subversion checkout URL
Reifies arbitrary Haskell terms into types that can be reflected back into terms
Fetching latest commit...
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
reflection ========== This package provides an implementation of the ideas presented in the paper Oleg Kiselyov and Chung-Chieh Shan, "Functional Pearl: Implicit Configurations" <http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf> However, the API has been modified to use Rank2Types and TypeFamilies and the implementation has been streamlined to improve performance.