Geeks
stefaniatadama
/
inductive_types
Constructing Simple and Mutual Inductive Types in Agda.
Primary Language
Agda
inductive_types GitHub
Markdown
Readme
0
Issues
8
Stargazers
1
Watcher
Watchers
stefaniatadama
University of Nottingham