SSReflect talk at London Type-Driven Development meetup

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
images		images
reveal.js		reveal.js
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
alectryon.css		alectryon.css
alectryon.js		alectryon.js
canoninical-structures-slides.html		canoninical-structures-slides.html
canoninical-structures-slides.org		canoninical-structures-slides.org
docutils_basic.css		docutils_basic.css
homework.v		homework.v
modifications.css		modifications.css
proofs.html		proofs.html
proofs.v		proofs.v
reflect.html		reflect.html
reflect.v		reflect.v
ssreflect-intro-slides.html		ssreflect-intro-slides.html
ssreflect-intro-slides.org		ssreflect-intro-slides.org
tango_subtle.css		tango_subtle.css
tango_subtle.min.css		tango_subtle.min.css

Provide feedback