Austin Zhu
Simplicity does not precede complexity, but follows it.
HOME
CATEGORIES
TAGS
ARCHIVES
GALLERY
ABOUT
CONTACT
Home
Tags
programming language
Tag
Cancel
programming language
2
A Simple REPL For the IMP Language
Oct 24, 2020
Difference Among WHNF, HNF and NF
Aug 4, 2020
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
