You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Olivier 4a867d80c8 Tiens compte des remarques 2 years ago
.gitignore initial commit 2 years ago
Makefile initial commit 2 years ago
abstract.md add the text abstract I wrote for submission 2 years ago
biblio.bib explaining the problem, and why is not a monad 2 years ago
mybibliography.sty minor changes 2 years ago
mygeometry.sty initial commit 2 years ago
myhyperref.sty initial commit 2 years ago
mylistings-slide.sty Option mathescape set to false 2 years ago
mylistings.sty Update mylistings.sty 2 years ago
notations.sty present Inferno 2 years ago
notes-other-example.ml introduce the 'other example' in the workshop abstract 2 years ago
plainnaturl.bst initial commit 2 years ago
reviews-ml-workshop-2020.text include the reviews from the ML workshop 2020 2 years ago
slides.tex Tiens compte des remarques 2 years ago
workshop.tex introduce the 'other example' in the workshop abstract 2 years ago