Skip to content

Formally describe type system and inference algorithm #6834

New issue
New issue
Closed
Closed
Formally describe type system and inference algorithm#6834
Labels
A-type-systemArea: Type systemP-mediumMedium prioritymetabugIssues about issues themselves ("bugs about bugs")
@nikomatsakis

Description

@nikomatsakis
nikomatsakis
opened on May 30, 2013

Right now the only description is "the source".

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemP-mediumMedium prioritymetabugIssues about issues themselves ("bugs about bugs")

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions