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

Folder refactor #1353

Closed
jonaprieto opened this issue Jun 28, 2022 · 0 comments · Fixed by #1410
Closed

Folder refactor #1353

jonaprieto opened this issue Jun 28, 2022 · 0 comments · Fixed by #1410
Assignees
@jonaprieto
Labels
refactor
Milestone
0.2.2

Comments

@jonaprieto
Copy link
Collaborator

No description provided.

@jonaprieto jonaprieto self-assigned this Jun 28, 2022
@cwgoes cwgoes transferred this issue from another repository Jul 13, 2022
@jonaprieto jonaprieto added this to the 0.2.2 milestone Jul 14, 2022
@janmasrovira janmasrovira changed the title Typechecking folder refactor Folder refactor Jul 25, 2022
@janmasrovira janmasrovira linked a pull request Jul 25, 2022 that will close this issue
Refactor of typechecking and other checking processes #1410
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jonaprieto jonaprieto

Labels
refactor
Projects
None yet
Milestone
0.2.2
Development

Successfully merging a pull request may close this issue.

Refactor of typechecking and other checking processes anoma/juvix
1 participant
@jonaprieto