git.ralfj.de Git - web.git/tree - research/iris/

]> git.ralfj.de Git - web.git/tree - research/iris/

projects / web.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[web.git] / research / iris /

drwxr-xr-x		..
-rw-r--r--	805564	talk-hope2015.pdf	blob \| history \| raw
-rw-r--r--	2252313	talk-icfp2016.pdf	blob \| history \| raw
-rw-r--r--	862951	talk-iris2019.pdf	blob \| history \| raw
-rw-r--r--	2492023	talk-popl2015.pdf	blob \| history \| raw

sources for my website