▲
pjh2568 3달전 | parent | ★ favorite | on: 타입은 어떻게 증명이 되는가 — TypeScript 타입 시스템과 Curry–Howard 대응(evan-moon.github.io)

재미있게 잘봤습니다 감사합니다