Skip to content
This repository has been archived by the owner on Jun 1, 2022. It is now read-only.

Refinement types #362

Closed
jonhue opened this issue Dec 15, 2020 · 0 comments · Fixed by #363
Closed

Refinement types #362

jonhue opened this issue Dec 15, 2020 · 0 comments · Fixed by #363
Labels
enhancement New feature or request
Milestone
0.2.0

Comments

@jonhue
Copy link
Member

jonhue commented Dec 15, 2020

Implements tony-lang/spec#16.
@jonhue jonhue added the enhancement New feature or request label Dec 15, 2020
@jonhue jonhue added this to the 0.2.0 milestone Dec 15, 2020
jonhue added a commit that referenced this issue Dec 15, 2020
@jonhue
[#362] Refinement types
3e20d28
@jonhue jonhue linked a pull request Dec 15, 2020 that will close this issue
[#362] Refinement types #363
Merged
jonhue added a commit that referenced this issue Dec 15, 2020
@jonhue
[#362] Refinement types (#363)
3ee3de7 
* [#362] Refinement types

* prettier
@jonhue jonhue mentioned this issue Dec 16, 2020
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
0.2.0
Development

Successfully merging a pull request may close this issue.

[#362] Refinement types tony-lang/tree-sitter-tony
1 participant
@jonhue