Sam Vervaeck bf4f328856 Add a few papers we are planning to use		2024-02-09 21:28:14 +01:00
..
evidently-with-proofs-5f0b7d860b387.pdf	Add a few papers we are planning to use	2024-02-09 21:28:14 +01:00
kind-inference-for-datatypes-technical-supplement.pdf	Add a few papers we are planning to use	2024-02-09 21:28:14 +01:00
kind-inference-for-datatypes.pdf	Add a few papers we are planning to use	2024-02-09 21:28:14 +01:00
koka-paper.pdf	Add a few papers we are planning to use	2024-02-09 21:28:14 +01:00