Popularity
4.4
Declining
Activity
0.0
Stable
4
3
3

Monthly Downloads: 28
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v0.6.1

open-typerep alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view open-typerep alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of open-typerep or a related project?

Add another 'Dependent Types' Package

README

open-typerep

Build Status

This package uses Data Types à la Carte to provide open type representations and dynamic types/coercions for open type universes.

For more information, see this page.