@hackage / logical-constraints

Simple logical constraints 'syntax-sugar' writing library.

Latest0.1.3.0

About

Metadata

  • Last updated , by OleksandrZhabenko
  • License MIT

  • Maintained by: oleksandr.zhabenko@yahoo.com

  • Lottery factor: 0

Links

Installation

Readme

Some library functions and data to simplify the writing of the simple logical constraints of Ord class data instances so that it represents point-wise and interval-based logics.