Skip to content

Implement proper pattern unification with a global hole context #1057

New issue
New issue
Open
Open
Implement proper pattern unification with a global hole context#1057
Assignees
kontheocharis
Labels
type-systemIssues related with typechecking sub-system.
@kontheocharis

Description

@kontheocharis
kontheocharis
opened on Mar 16, 2024
No description provided.

Metadata

Metadata

Assignees

Labels

type-systemIssues related with typechecking sub-system.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions