Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Parameterized inductive types #200

Closed
jonsterling opened this issue Aug 6, 2018 · 1 comment
Closed

Parameterized inductive types #200

jonsterling opened this issue Aug 6, 2018 · 1 comment
Labels
elaborator enhancement New feature or request evaluator parser typechecker

Comments

@jonsterling
Copy link
Collaborator

This is a "uniform" family of inductive types, in the sense of Join A B.
@jonsterling jonsterling mentioned this issue Aug 6, 2018
Open
@jonsterling
Copy link
Collaborator Author

This is the next top priority, needed to get basic examples working.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
elaborator enhancement New feature or request evaluator parser typechecker
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jonsterling