Equality, Dependent Types, and Typechecking (kalyani-tt.github.io)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Oct 2023 02:40 +0000
https://programming.dev/post/4834597

#programming_languages