10 lines
239 B
Markdown

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