About

你是我的梦想

离开世界之前，一切都是过程。

Your time is limited, so don’t waste it living someone else’s life.

FEATURED TAGS
LF (逻辑基础) 笔记 Coq SF (软件基础) PLF (编程语言基础) C#
ABOUT ME

Code Life.
编码人生。

FRIENDS