GitHub - gares/mlws18: Material for the ML Workshop 2018

gares / mlws18 Public

Material for the ML Workshop 2018

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
toyml		toyml
.gitattributes		.gitattributes
.gitignore		.gitignore
.merlin		.merlin
abstract		abstract
chick.jpg		chick.jpg
coq-brain.svg		coq-brain.svg
coq-current-plan.svg		coq-current-plan.svg
coq-gbu.svg		coq-gbu.svg
coq-languages.svg		coq-languages.svg
coq-status.svg		coq-status.svg
declarative.svg		declarative.svg
expr.svg		expr.svg
expr.svg.png		expr.svg.png
free.svg		free.svg
free.svg.png		free.svg.png
generalization.svg		generalization.svg
j.svg		j.svg
overbar.svg		overbar.svg
overbar.svg.png		overbar.svg.png
plumber-clipart-13.png		plumber-clipart-13.png
s.svg		s.svg
s.svg.png		s.svg.png
slides.odp		slides.odp
slides.pdf		slides.pdf
strong-opinions-sign.png		strong-opinions-sign.png
trash.png		trash.png
types.svg		types.svg
types.svg.png		types.svg.png
w.svg		w.svg
w.svg.png		w.svg.png