home
groups
about
login
help
programming_languages@programming.dev
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
https://programming.dev/post/4834597
#programming_languages
threaded -
newest
threaded - newest