Skip to content
GitLab
Explore
Sign in
gradual-typing
sgdt
Milestones
Syntax Formalization
Open
Milestone
Syntax Formalization
Milestone ID: 344
Formalize the Step-sensitive and Step-insensitive syntax in Agda.
Issues
1
Merge requests
0
Participants
0
Labels
0