About

Metadata

  • Last updated , by RossPaterson
  • License BSD-3-Clause
  • Categories Data Structures
  • Maintained by: Ross Paterson <R.Paterson@city.ac.uk>

  • Lottery factor: 0

Links

Installation

Readme

A rational list is a list that is either finite or of the form xs ++ cycle ys where xs and ys are finite lists and ys is non-empty. Such lists have a finite representation, supporting list operations that terminate even for infinite lists, and are often more efficient.