nzl-nott/2014-LFMTP-Paper
2014 LFMTP Paper source code
Discovered public repositories for nzl-nott in the GitHub catalog.
2014 LFMTP Paper source code
The Agda standard library
A simple demonstration of the Agda Reflection API
Globular Sets in Agda
Notes and drafts
Public repository.
The exercises for PhD of nzl