Austin Zhu
Simplicity does not precede complexity, but follows it.
HOME
CATEGORIES
TAGS
ARCHIVES
GALLERY
ABOUT
CONTACT
Home
Tags
type theory
Tag
Cancel
type theory
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
