Geeks
m-yac
/
tt-in-cagda
Simply typed lambda calculus in cubical agda
Primary Language
Agda
tt-in-cagda GitHub
Markdown
Readme
0
Issues
21
Stargazers
1
Watcher
Watchers
jonsterling
University of Cambridge