diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:10 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:41 +0100 |
commit | 4c8e5fa7b897253d23cda93cc747a5c5cda49b2a (patch) | |
tree | 2560c12cb602a6bcb01a7b84f4a93187612285b6 /site/files | |
parent | Remove a redundant </head> tag in HTML template (diff) |
Announce the acceptance of our coqffi paper
Diffstat (limited to 'site/files')
-rw-r--r-- | site/files/coqffi_jfla21.pdf | bin | 0 -> 196859 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/site/files/coqffi_jfla21.pdf b/site/files/coqffi_jfla21.pdf Binary files differnew file mode 100644 index 0000000..4a57127 --- /dev/null +++ b/site/files/coqffi_jfla21.pdf |