---
date: "2023-12-06T20:20:54+09:00"
---
#programming-language 

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

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

[Implementing Dependent Types](https://tiarkrompf.github.io/notes/?/dependent-types/)