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

normalize can implement simple cases without unfolding declarations #27

Closed
ice1000 opened this issue Oct 7, 2019 · 2 comments
Closed

normalize can implement simple cases without unfolding declarations #27

ice1000 opened this issue Oct 7, 2019 · 2 comments
Assignees
@ice1000
Labels
unfold-decl Reduce global declarations

Comments

@ice1000
Copy link
Member

ice1000 commented Oct 7, 2019

That is, application on Data and Codata.
@ice1000 ice1000 added the unfold-decl Reduce global declarations label Oct 7, 2019
@ice1000
Copy link
Member Author

ice1000 commented Oct 7, 2019

For cons and proj we postpone the implementation after we have discussed about #28

@owo-bot
Copy link
Member

owo-bot commented Oct 7, 2019

@ice1000 has created a pull request #30 that might address this issue.
Here's a table of the pull request status:

Status
Age
Last Update
Commit
Checks

@owo-bot owo-bot mentioned this issue Oct 7, 2019
Merged
@ice1000 ice1000 closed this as completed in 4c6f8ca Oct 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ice1000 ice1000

Labels
unfold-decl Reduce global declarations
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ice1000 @owo-bot