all the slides (modulo tikz for trees)
1 parent 61e45a6 commit 1260dd23dab114303109c7300be1ff1398f0b291
Gabriel Scherer authored on 16 Aug
Showing 2 changed files
View
paper/notations.sty
View
talk/presentazione.tex