Skip to content
Haskell definition of type equality, coercion/cast and other operations.
Haskell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src-hetero/Data/Type/Equality
src-old/Data/Type
.gitignore
.travis.yml
CHANGELOG.md
CONTRIBUTING.md
LICENSE
cabal.project
type-equality.cabal
You can’t perform that action at this time.