About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause
  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.8.1
  2. 9.6.3
  3. 9.4.8
  4. 9.2.8

Readme

This package provides type and term definitions for boolean type families in Data.Type.Bool (in base) using SBool type from singleton-bool package.