Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
DPiepgrass comments on
Basic building blocks of dependent type theory
DPiepgrass
25 Jan 2023 6:39 UTC
1
point
0
Pardon me. I guess its type is
N
ā
.
Back to top
Pardon me. I guess its type is Nā.