This page is not a formal part of kdr2.com, I irregularly, whimsically, and impulsively update this page to record my thoughts. If there’s something worth reading or writing, it will become part of kdr2.com. So you don’t need to watch or even read this page if you are not curious about what am I doing or thinking.
❤ WISH LIST ❤
Hard words: genius/ingenuous/ingenious
Dependently Typed Programming in Agda: http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf