Open impredicative opened 2 years ago
Is it possible to get an implementation of the revised 2021 version by Lin, Han?
Is it possible to get an implementation of the revised 2021 version by Lin, Han?