@inproceedings{Lemay:2023,
    title = {A Dependently Typed Language with Dynamic Equality},
    author = {Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi},
    booktitle = {ACM SIGPLAN International Workshop on Type-Driven Development},
    month = {9},
    year = {2023},
    location = {Seattle, WA, USA}
}