Index of /talks/public-defense/
../
out/ 27-Jan-2023 14:27 -
reveal.js/ 26-Jan-2023 22:48 -
README.md 21-Jan-2023 15:10 222
a.mermaid 21-Jan-2023 17:47 179
a.mermaid.svg 24-Jan-2023 14:41 7950
aft.txt 23-Jan-2023 21:42 13971
andi-gen.png 26-Jan-2023 22:40 276801
bef.txt 23-Jan-2023 21:41 14571
binary-file-icon.png 25-Jan-2023 14:30 5539
brownie.svg 24-Jan-2023 14:41 79629
custom.css 26-Jan-2023 15:31 926
d2.lua 26-Jan-2023 21:32 1478
dot-family.png 26-Jan-2023 20:30 154942
fgj-commit.png 26-Jan-2023 22:27 216156
fgj.svg 24-Jan-2023 14:41 666737
fj-paper.png 24-Jan-2023 14:50 1283811
fj-proofs.png 26-Jan-2023 17:33 11925627
fj.svg 24-Jan-2023 14:41 666726
fool.pdf 26-Jan-2023 20:09 311360
in.d2 15-Jan-2023 15:33 12
main.md 27-Jan-2023 14:27 11773
mermaid-filter.err 27-Jan-2023 14:27 0
ps-01.png 24-Jan-2023 14:45 1975871
ps.d2 24-Jan-2023 14:37 275
ps.svg 24-Jan-2023 14:41 664580
psr.svg 24-Jan-2023 14:41 666798
scala.svg 24-Jan-2023 14:41 666749
scala3-party.png 26-Jan-2023 16:05 879745
t.png 26-Jan-2023 17:42 11908215
thesis-org.png 26-Jan-2023 23:02 217941
timeline.svg 27-Jan-2023 14:20 8620
top-programming-languages.jpg 09-Apr-2021 15:03 120426
top-programming-languages.png 26-Jan-2023 14:19 701126
xx 27-Jan-2023 14:22 11426