michaelsproul/honours-thesis

Readme
Issues
Stargazers
Watchers

Finish typing up L3's typing rules

Closed this issue 8 years ago · 0 comments

michaelsproul commented 8 years ago

Finish typing up L3's typing rules

Topics

honours-thesis software-verification programming-language type-system coq

Share to

Contact site admin: Geeks.