allquantor

λ Calculus \n ∀ Logic \n f : x → y Category Theory \n π  Distributed Systems \n

Company:UpvestLocation:Berlin - Miami - NYC - Maybe x

Pinned Repositories

allquantor's Repositories