Geeks
heades
/
law
The Lawvere Categorical Logic Library
Primary Language
Agda
law GitHub
Markdown
Readme
13
Issues
2
Stargazers
5
Watchers
Stargazers
jonsterling
University of Cambridge
sheganinans
Data Scientist & Language Architect