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

date
2023-08-30T15:58:42+0900

#programming-language

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

C++でいうdecltype(term)（だよね？）

Implementing Dependent Types