The source code of my professional website.
Find a file
2023-09-08 13:49:00 +02:00
content Add The Many Shapes of Polymorphism. 2023-07-01 19:27:43 +02:00
en Add the fr/publications.org and en/publications.org. 2020-09-22 14:50:18 +02:00
fr Say I am on CRCT. 2023-09-08 13:49:00 +02:00
index.org Say I am on CRCT. 2023-09-08 13:49:00 +02:00
old-news.org Update the news. 2023-07-12 17:58:41 +02:00
publist.org Add the Boolean P TCS publication. 2023-09-08 13:43:33 +02:00
Readme.md README: Don't say the site is not online. 2020-04-04 12:34:29 +02:00
work-notes.org Fold some headers by default. 2023-04-17 22:43:56 +02:00
work.el work.el: Explicitly export only index.org from the root directory. 2020-09-22 15:53:22 +02:00

work-site

This is the source of my professional website.

These source files are distributed under the Creative Commons Attribution Alone licence.