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

7 lines
198 B
Markdown

#programming-language
項でインデックス付された型
C++でいう`decltype(term)`(だよね?)
[Implementing Dependent Types](https://tiarkrompf.github.io/notes/?/dependent-types/)