Home Explore Help
Register Sign In
gasche
/
inferno-api-design-paper
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
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.
33 Commits
1 Branch
167 KiB
TeX 89.8%
OCaml 9.8%
Makefile 0.4%
 
 
 
Branch: master
master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
 ZIP  TAR.GZ
Olivier 4a867d80c8 Tiens compte des remarques 8 months ago
.gitignore initial commit 11 months ago
Makefile initial commit 11 months ago
abstract.md add the text abstract I wrote for submission 10 months ago
biblio.bib explaining the problem, and why is not a monad 11 months ago
mybibliography.sty minor changes 10 months ago
mygeometry.sty initial commit 11 months ago
myhyperref.sty initial commit 11 months ago
mylistings-slide.sty Option mathescape set to false 8 months ago
mylistings.sty Update mylistings.sty 8 months ago
notations.sty present Inferno 11 months ago
notes-other-example.ml introduce the 'other example' in the workshop abstract 9 months ago
plainnaturl.bst initial commit 11 months ago
reviews-ml-workshop-2020.text include the reviews from the ML workshop 2020 9 months ago
slides.tex Tiens compte des remarques 8 months ago
workshop.tex introduce the 'other example' in the workshop abstract 9 months ago
Powered by Gitea Version: 1.13.6 Page: 50ms Template: 19ms
English
English 简体中文 繁體中文(香港) 繁體中文(台灣) Deutsch français Nederlands latviešu русский Українська 日本語 español português do Brasil polski български italiano suomi Türkçe čeština српски svenska 한국어
Licenses API Website Go1.16.2