検索
❯
created: 2023/08/30 updated: 2024/02/081 min readview history
#programming-language
項でインデックス付された型
C++でいうdecltype(term)(だよね?)
decltype(term)
Implementing Dependent Types
2024/05/03
2024/04/22