@hackage ghc-symbol0

Symbol on term level

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Oleg Grenrus <oleg.grenrus@iki.fi>

    • Versions

      • 0 Sun, 4 Sep 2022

    This package fleshes out Symbol on term level, so we can use the same type for terms and promoted to type level.