homepage: ''
changelog-type: markdown
hash: 63fdf48545593cee70cfa5f3f8061038d0f4bd6357f901a8b9479c8f57ced6cb
test-bench-deps:
  base: -any
  typelet: -any
  doctest: -any
  tasty-quickcheck: -any
  tasty-hunit: -any
  tasty: -any
maintainer: edsko@well-typed.com
synopsis: Plugin to faciliate type-level let
changelog: "# Revision history for typelet\n\n## 0.1.0.0 -- 2021-12-17 \n\n* First
  version.\n"
basic-deps:
  ghc: -any
  base: '>=4.13 && <4.17'
  typelet: -any
  containers: -any
  ghc-tcplugin-api: '>=0.6 && <0.7'
all-versions:
- 0.1.0.0
author: Edsko de Vries
latest: 0.1.0.0
description-type: haddock
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 @typelet@ library provides a
  type-checker plugin that makes the encoding more convenient
  to use as well as more effective.
license-name: BSD-3-Clause

Update from Hackage at 2021-12-17T07:41:12Z
Update from Hackage at 2021-12-17T07:41:12Z
