Austin Zhu
Simplicity does not precede complexity, but follows it.
HOME
CATEGORIES
TAGS
ARCHIVES
GALLERY
ABOUT
CONTACT
Home
Categories
Notes
Category
Cancel
Notes
2
Morphisms and Objects
Sep 28, 2021
Category Basics
Aug 25, 2021
Recent Update
遵从你的内心
Category Basics
[LeetCode] 565. Array Nesting
[LeetCode] 623. Add One Row to Tree
Difference Among WHNF, HNF and NF
Trending Tags
leetcode
haskell
category theory
programming language
type theory
lambda calculus
life
Trending Tags
leetcode
haskell
category theory
programming language
type theory
lambda calculus
life