Zettelkasten
Search
⌘K
Graph
Tags
#
functional-programming
1개
카테고리 이론은 프로그램의 합성 가능한 구조를 다룬다
683자
functional-programming
category-theory
type-system