GitHub - cohomolo-gy/Type-Arithmetic-and-the-Yoneda-Perspective: Slides for Scalaworld 2019

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
_minted-typearithmeticyl		_minted-typearithmeticyl
outputs		outputs
kadena.png		kadena.png
screed.png		screed.png
typearithmeticyl.log		typearithmeticyl.log
typearithmeticyl.nav		typearithmeticyl.nav
typearithmeticyl.out		typearithmeticyl.out
typearithmeticyl.pdf		typearithmeticyl.pdf
typearithmeticyl.snm		typearithmeticyl.snm
typearithmeticyl.tex		typearithmeticyl.tex
typearithmeticyl.toc		typearithmeticyl.toc
typearithmeticyl.vrb		typearithmeticyl.vrb