Josh S.

Location:

San Francisco, CA
Hometown: Hamilton, ON

Member since:

April 23, 2014

How familiar are you with category theory?

Arrows and categories.. there's functors and things too, right?

How familiar are you with type theory?

I read a few chapters of HoTT. I've also read a bunch of Haskell tutorials, but I don't know if that counts for anything.

How's your functional programming level?

Really bad.

Introduction

Freelance full stack engineer interested in linear temporal logic.


People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy