tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
d0290e40fa
quartz-research-note/content/依存型.md

197 B
Raw Blame History

#programminglanguage

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

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

Implementing Dependent Types