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

Add ValueType #2143

Merged
merged 2 commits into from
May 30, 2023
Merged

Add ValueType #2143

merged 2 commits into from
May 30, 2023

Conversation

janmasrovira
Copy link
Collaborator

@janmasrovira janmasrovira commented May 30, 2023 •
edited
Loading

@janmasrovira janmasrovira added fix:bug core Related to JuvixCore labels May 30, 2023
@janmasrovira janmasrovira added this to the 0.4 - Prague milestone May 30, 2023
@janmasrovira janmasrovira self-assigned this May 30, 2023
@janmasrovira janmasrovira requested a review from lukaszcz May 30, 2023 08:43
@janmasrovira janmasrovira force-pushed the add-core-value-type branch from 0126124 to 4f69053 Compare May 30, 2023 08:43
@janmasrovira janmasrovira marked this pull request as ready for review May 30, 2023 08:45
@lukaszcz lukaszcz merged commit b4154f7 into main May 30, 2023
@lukaszcz lukaszcz deleted the add-core-value-type branch May 30, 2023 09:51
@jonaprieto jonaprieto modified the milestones: 0.4 - Prague, 0.3.5 Jun 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lukaszcz lukaszcz lukaszcz approved these changes

Assignees

@janmasrovira janmasrovira

Labels
core Related to JuvixCore fix:bug
Projects
None yet
Milestone
0.3.5
Development

Successfully merging this pull request may close these issues.

prompting the repl for an inductive type crashes
3 participants
@janmasrovira @lukaszcz @jonaprieto