Syntax Formalization · Milestones · gradual-typing / sgdt · GitLab

Skip to content

GitLab

Explore

Sign in

Open

Milestone

Syntax Formalization

Formalize the Step-sensitive and Step-insensitive syntax in Agda.

Issues 1
Merge requests 0
Participants 0
Labels 0

Loading

Loading

Loading

Loading

0% complete

0%

Start date

No start date

None

Due date

No due date

1

Issues 1 New issue

Open: 1 Closed: 0

0

Merge requests 0

Open: 0 Closed: 0 Merged: 0

0

Releases

None

Reference: gradual-typing/sgdt%"Syntax Formalization"