Daniel Yokomiso
Daniel YokomisoI'm JustaProgrammer by day and a language designer by night. Mainly interested in typed systems as theorem provers.
MyMyersBriggsTypeIs: 'INFJ'
EditText of this page
(last edited December 31, 2009)
or FindPage with title or text search