Skip to content

feat: accurate binder names in signatures (like in output of #check) #5838

feat: accurate binder names in signatures (like in output of #check)

feat: accurate binder names in signatures (like in output of #check) #5838

check-stage0-on-queue

succeeded Oct 28, 2024 in 21s