Files
quartz-research-note/content/依存型.md

240 B

date
date
2023-12-06T20:20:54+09:00

#programming-language

項でインデックス付された型

C++でいうdecltype(term)(だよね?)

Implementing Dependent Types