Sam Vervaeck c907885420 Make C++ implementation the main implementation		2024-04-08 20:08:15 +02:00
..
complete-and-easy-bidirectional-type-checking.pdf	Make C++ implementation the main implementation	2024-04-08 20:08:15 +02: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