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		3 years ago
.gitignore	initial commit	3 years ago
Makefile	initial commit	3 years ago
abstract.md	add the text abstract I wrote for submission	3 years ago
biblio.bib	explaining the problem, and why is not a monad	3 years ago
mybibliography.sty	minor changes	3 years ago
mygeometry.sty	initial commit	3 years ago
myhyperref.sty	initial commit	3 years ago
mylistings-slide.sty	Option mathescape set to false	3 years ago
mylistings.sty	Update mylistings.sty	3 years ago
notations.sty	present Inferno	3 years ago
notes-other-example.ml	introduce the 'other example' in the workshop abstract	3 years ago
plainnaturl.bst	initial commit	3 years ago
reviews-ml-workshop-2020.text	include the reviews from the ML workshop 2020	3 years ago
slides.tex	Tiens compte des remarques	3 years ago
workshop.tex	introduce the 'other example' in the workshop abstract	3 years ago