DanielYokomiso

I'm JustaProgrammer by day and a language designer by night. Mainly interested in typed systems as theorem provers.

---

MyMyersBriggsTypeIs: 'INFJ'

---

CategoryHomePage