Skip to content

Add coinductive closure operators for relations #654

New issue
New issue
Open
Open
Add coinductive closure operators for relations#654
Labels
additionlow-hanging-fruittask
@gallais

Description

@gallais
gallais
opened on Mar 18, 2019

As suggested by @mietek: a colist and stream equivalents to Data.Star.

Metadata

Metadata

Assignees

No one assigned

    Labels

    additionlow-hanging-fruittask

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions