quartz-research-note/content/依存型.md
松浦 知也 Matsuura Tomoya c18e2fabae
Some checks failed
Build / build (push) Has been cancelled
updated timestamp
2024-02-08 20:06:45 +09:00

239 B

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

#programming-language

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

C++でいうdecltype(term)(だよね?)

Implementing Dependent Types