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
from armchair_progamer@programming.dev to programming_languages@programming.dev on 24 Oct 2023 02:40 +0000
https://programming.dev/post/4834597
#programming_languages