検索
❯
2025/09/091 min read
programming
Contextural Modal Type Theory
メタプログラミングや多段階計算に近しいやつ（らしい）
tocl07.pdf