gdp

Karma: 848

Joined: almost 16 years ago

ID: gdp

About

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

Submissions

Visit submission history to see stories and comments by gdp.