📢 PUBLIC DRAFT 📢 

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 ❤ 


= Saturday, April 2

Hard words: genius/ingenuous/ingenious

= Monday, February 14

Dependently Typed Programming in Agda: http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf