diff --git a/content/index.md b/content/index.md index 4e3cb0b..f824323 100755 --- a/content/index.md +++ b/content/index.md @@ -29,12 +29,14 @@ SRHT [flupe](https://sr.ht/~flupe) - Attended [IFL'23] in Braga, Portugal. - Attended [TYPES'23] in Valencia, Spain. +- Attended [AIMXXXVI] in Delft, Netherlands. - Attended [AIMXXXI] in Edinburgh, Scotland. - Attended [ICFP'22] in Ljubjana, Slovenia. - Attended [OPLSS'22] in Eugene, Oregon. [IFL'23]: https://ifl23.github.io/ [TYPES'23]: https://types2023.webs.upv.es/ +[AIMXXXVI]: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI [AIMXXXI]: https://wiki.portal.chalmers.se/agda/Main/AIMXXXI [ICFP'22]: https://icfp22.sigplan.org/ [OPLSS'22]: https://www.cs.uoregon.edu/research/summerschool/summer22/ diff --git a/content/papers/polarity-types23.pdf b/content/papers/polarity-types23.pdf new file mode 100644 index 0000000..bc0d357 Binary files /dev/null and b/content/papers/polarity-types23.pdf differ diff --git a/deploy.sh b/deploy.sh new file mode 100755 index 0000000..f7715a9 --- /dev/null +++ b/deploy.sh @@ -0,0 +1,5 @@ +#!/usr/bin/sh +tar -C _site -cvz . > escot.tar.gz +curl -v --oauth2-bearer "$(cat SRHT_TOKEN)" \ + -Fcontent=@escot.tar.gz \ + https://pages.sr.ht/publish/lucas.escot.me