3 ms·Implementing Dependent Data and Codata Types with Implicit Arguments (2025)1 points by mpweiher 9mo ago