Skip to content
Reifies arbitrary Haskell terms into types that can be reflected back into terms
Branch: master
Clone or download
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples haskell-ci: Use jobs-selection=any May 9, 2019
slow/Data Fix dead link to paper Jan 22, 2015
tests Fix #41 by converting reifyNat's argument to a Natural if appropriate ( May 15, 2019
.gitignore Upgrade multi-ghc-travis setup Jan 18, 2018
CHANGELOG.markdown Version 2.1.5 Aug 27, 2019
LICENSE Updated copyright Feb 8, 2013
README.markdown fix trailing ) [ci skip] Aug 9, 2015
Setup.lhs Initial move to github Jun 26, 2010
cabal.haskell-ci Fully enable GHC 8.8.1 on Travis Sep 3, 2019
reflection.cabal Version 2.1.5 Aug 27, 2019



Hackage Build Status

This package provides an implementation of the ideas presented in Functional Pearl: Implicit Configurations by Oleg Kiselyov and Chung-Chieh Shan. However, the API has been implemented in a much more efficient manner.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on

-Edward Kmett

You can’t perform that action at this time.