hello world Hello World haskell monad basic Haskell Monad Basic - 5 Haskell Monad Basic - 4 Haskell Monad Basic - 3 Haskell Monad Basic - 2 Haskell Monad Basic - 1 algorithm homework Leetcode Solution Collection C++ language C++ Higher-order Meta-function My C++ Style Guide agda Agda Learning Note template C++ Higher-order Meta-function Category Theory Adjoint Functor haskell Lens - Exploring and Learning - 1 lens Lens - Exploring and Learning - 1 type theory Well-founded Recursion Inductive type and W Type coq Learning note of Ltac2 recursion Well-founded Recursion induction Well-founded Recursion
VinaLx
PhD Student @ HKU
Type Theory Apprentice & Video Game Addict