Dependent types at work in Agda [pdf]

by fanf2 on 6/21/2025, 11:42:04 AM with 0 comments