Skip to content

Complete interpretation function #83

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
Open
Vtec234 opened this issue May 1, 2025 · 0 comments
Open

Complete interpretation function #83

Vtec234 opened this issue May 1, 2025 · 0 comments
Labels
C-model Component: abstract natural model C-syntax Component: typing rules, interpretation function O-group Other: issue group

Comments

@Vtec234
Copy link
Collaborator

Vtec234 commented May 1, 2025

This issue group gathers issues which have to be resolved in order to complete (sorry-free) the interpretation of syntax into a natural model (more precisely, into a UHomSeqPiSigma).
@Vtec234 Vtec234 added C-model Component: abstract natural model C-syntax Component: typing rules, interpretation function O-group Other: issue group labels May 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-model Component: abstract natural model C-syntax Component: typing rules, interpretation function O-group Other: issue group
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Vtec234