gdp

Karma: 848

Joined: 将近 16 年前

ID: gdp

About

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

Submissions

Visit submission history to see stories and comments by gdp.