[email protected]
effectfully
A dependently typed type checker for a TT with intervals
A library for doing generic programming in Agda
A tutorial on how Agda infers things
Observational Type Theory as an Agda library
Composable monadic short-circuiting streaming folds
Dependently typed Algorithm M and friends