Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bidirectional type checking #1

Open
fmease opened this issue Sep 29, 2020 · 0 comments
Open

Bidirectional type checking #1

fmease opened this issue Sep 29, 2020 · 0 comments
Labels
A-type-system Area: Type system T-feature-request Type: Feature that is part of the language spec but not implemented
Milestone
v0.2.0

Comments

@fmease
Copy link
Owner

fmease commented Sep 29, 2020

Meta: Add links to resources.
@fmease fmease added enhancement A-type-system Area: Type system labels Sep 29, 2020
@fmease fmease added this to the v0.2.0 milestone Sep 29, 2020
@fmease fmease pinned this issue Oct 7, 2020
@fmease fmease added T-feature-request Type: Feature that is part of the language spec but not implemented and removed T-enhancement labels Dec 14, 2020
@fmease fmease mentioned this issue Sep 21, 2021
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system T-feature-request Type: Feature that is part of the language spec but not implemented
Projects
None yet
Milestone
v0.2.0
Development

No branches or pull requests
1 participant
@fmease