@hackage / infinite-search

Exhaustively searchable infinite sets.

Latest0.12

About

Metadata

  • Last updated , by LukePalmer
  • License BSD-3-Clause
  • Categories Algorithms, Monads
  • Maintained by: Luke Palmer <lrpalmer@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

An implementation of Martin Escardo's exhaustively searchable sets.