33 Commits (master)
 

Author SHA1 Message Date
Olivier 4a867d80c8 Tiens compte des remarques
3 years ago
Olivier 3f673ac985 Fix typos
3 years ago
Olivier a18b7835b7 fix typos
3 years ago
Olivier 55f4172746 Tiens compte des remarques
3 years ago
Olivier f1eed0d453 Update the slides
3 years ago
Olivier f82b7e5308 Update the slides
3 years ago
Olivier 6c8395c453 Fix typo in slides
3 years ago
Gabriel Scherer 16b812f00c small changes or remarks on the slides
3 years ago
Olivier 295969e0aa Update the slides
3 years ago
Olivier 2d5b7a8047 Update the slides
3 years ago
Olivier e5a40383e7 Option mathescape set to false
3 years ago
Olivier beec281e3b Update the slides
3 years ago
Olivier cecff9a5fe Add escapeinside option in mylisting-slide.sty
3 years ago
Olivier bad96932cb Update mylistings.sty
3 years ago
Gabriel Scherer f3a26cfb90 comments on the slides
3 years ago
Olivier b98a5716a9 Merge branch 'master' of https://gitea.lakaban.net/gasche/inferno-api-design-paper
3 years ago
Olivier 7a7131600e Start working on slides
3 years ago
Gabriel Scherer 2efc9b87f4 introduce the 'other example' in the workshop abstract
3 years ago
Gabriel Scherer 909ec2a556 include the reviews from the ML workshop 2020
3 years ago
Gabriel Scherer 4eea76eaeb an example of our proposal for a simpler applicative functor
3 years ago
Gabriel Scherer 45e1582804 another typo
3 years ago
Gabriel Scherer 2b7d5cee89 take François' remarks into account
3 years ago
Gabriel Scherer b88bb546e5 add the text abstract I wrote for submission
3 years ago
Gabriel Scherer f0def3cb4c minor changes
3 years ago
Gabriel Scherer f8a213624d fixes suggested by Olivier
3 years ago
Gabriel Scherer 21f06a8816 second batch of rereading changes
3 years ago
Gabriel Scherer e30b407b16 first re-reading pass
3 years ago
Gabriel Scherer 90c26dff53 end of the draft
3 years ago
Gabriel Scherer 8ec42d2b38 explaining the problem, and why is not a monad
3 years ago
Gabriel Scherer eb505000ee explaining the problem
3 years ago
Gabriel Scherer f5c7d6ebb8 present Inferno
3 years ago
Gabriel Scherer e5301ece17 abstract
3 years ago
Gabriel Scherer d265153007 initial commit
3 years ago