GitHub - tonymorris/asymmetric-lenses: Slides for talk on Asymmetric Lenses

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
bin		bin
source		source
.gitignore		.gitignore
asymmetric-lenses.tex		asymmetric-lenses.tex
coalgebra.tex		coalgebra.tex
composinglenses.tex		composinglenses.tex
further.tex		further.tex
introducinglenses.tex		introducinglenses.tex
languagesupport.tex		languagesupport.tex
lenslibraries.tex		lenslibraries.tex
modifyproblem.tex		modifyproblem.tex
partiallenses.tex		partiallenses.tex