Implementing Dependent Data and Codata Types with Implicit Arguments (2025)programming-journal.org1 pointmpweiher5 months ago