Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.github/workflows		.github/workflows
AdjointFunctorTheorems2016		AdjointFunctorTheorems2016
BridgwaterResearch		BridgwaterResearch
DogeConf2019		DogeConf2019
Tekaroke201704		Tekaroke201704
Tekaroke201707		Tekaroke201707
YonedaWithoutTears2016		YonedaWithoutTears2016
.envrc		.envrc
.gitignore		.gitignore
LICENCE.md		LICENCE.md
README.md		README.md
build.sh		build.sh
flake.lock		flake.lock
flake.nix		flake.nix