About giladwo

Talks either too much or not at all.

Interested in all things programming; especially programming languages, free libre software, linux, bsd, logic, category theory & homotopy type theory.

AKA Dr Function, Cool Shirt Person.

he/him

Lists

Timeline

giladwo has no activity yet