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.

Branch: master

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

Compare

HTTPS

Download ZIP Download TAR.GZ Download BUNDLE Clone in VS Code

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