GitHub - VinylRecords/Galois-Tech-Talk: Vinyl: Records in Haskell & Type Theory

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.gitignore		.gitignore
Talk.pdf		Talk.pdf
Talk.tex		Talk.tex
universe-embedded.pdf		universe-embedded.pdf
universe-empty.pdf		universe-empty.pdf
universe-interpretation.pdf		universe-interpretation.pdf
universe-populated.pdf		universe-populated.pdf
universe-product.pdf		universe-product.pdf
universe-sum.pdf		universe-sum.pdf