### Well-founded Recursion

Generalizing structural recursion for languages with termination checker, part 1

Generalizing structural recursion for languages with termination checker, part 1

Organizing what's in the official documentation

Generalizing inductive types

Introduction / Abstractions of "setter"s and "getter"s.

Notes on the category theory concept.

Some simple template tricks

Notes on agda core language and standard library.

Notes on the bash language

My C++ coding style mostly based on Google C++ Style Guide

Homework for algorithm course in SYSU

Monad Transformer

Reader, Writer and State

Monad and its "super classes"

value and context, basic examples on List, Maybe and Either

motivation, introduction, definition of Monad and the "do" notation

hello, my blog