The latest version of typelet is 0.1.4-0.
typelet
Version 0.1.1.0 revision 0 uploaded by EdskoDeVries.
Package meta
- Synopsis
- Plugin to faciliate type-level let
- Description
For a certain class of programs, type-level let is essential in order to be able to write these programs in such a way that they do not result in ghc core that is quadratic in size. Type-level let is not explicitly supported in ghc, but we can encode it. The
typeletlibrary provides a type-checker plugin that makes the encoding more convenient to use as well as more effective.- Author
- Edsko de Vries
- Bug reports
- https://github.com/well-typed/typelet/issues
- Category
- Plugin
- Copyright
- Well-Typed LLP, Juspay Technologies Pvt Ltd
- Homepage
- n/a
- Maintainer
- edsko@well-typed.com
- Package URL
- n/a
- Stability
- n/a