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

Surface Typechecker Formalisation #325

Open
zilinc opened this issue Nov 22, 2019 · 0 comments
Open

Surface Typechecker Formalisation #325

zilinc opened this issue Nov 22, 2019 · 0 comments
Assignees
@nelch
Labels
TASK An umbrella ticket. Mostly used in the kanban board.
Projects
Cogent development roadmap

Comments

@zilinc
Copy link
Contributor

zilinc commented Nov 22, 2019

Description

The surface typechecker is mainly comprised of a constraint generator and a solver. We want to formalise these two components and prove important properties about them. Note that the surface language is not part of the current proof chain (which only starts from the core language) and is not trusted.
@zilinc zilinc added the TASK An umbrella ticket. Mostly used in the kanban board. label Nov 22, 2019
@zilinc zilinc added this to In progress in Cogent development roadmap Nov 22, 2019
@zilinc zilinc moved this from In progress to Paused in Cogent development roadmap May 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nelch nelch

Labels
TASK An umbrella ticket. Mostly used in the kanban board.
Projects
Cogent development roadmap
Paused
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zilinc @nelch