Skip to content

type inference error on Problems/SEU/SEU916^5.p #71

New issue
New issue
Open
Open
type inference error on Problems/SEU/SEU916^5.p#71
Labels
I-cnfCNF and type inferencebug
@c-cube

Description

@c-cube
c-cube
opened on Feb 10, 2020

not sure what it is exactly.

Metadata

Metadata

Assignees

No one assigned

    Labels

    I-cnfCNF and type inferencebug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions