decidable-0.1.0.0: README.md

# [decidable][]

[![decidable on Hackage](https://img.shields.io/hackage/v/decidable.svg?maxAge=86400)](https://hackage.haskell.org/package/decidable)
[![Build Status](https://travis-ci.org/mstksg/decidable.svg?branch=master)](https://travis-ci.org/mstksg/decidable)
[decidable]: https://mstksg.github.io/decidable/

This library provides combinators and typeclasses for working and manipulating
type-level predicates in Haskell, which are represented as matchable type-level
functions `k ~> Type` from the *singletons* library.  See *Data.Type.Predicate*
for a good starting point.