About Lane

interested in next generation type theories, braided monoidal categories, and graphical computation frameworks, based in san francisco

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet