Jack Widman

Software Engineer, Writer, and Musician in New York City

Hey. I'm Jack. I'm into Functional Programming, Homotopy Type Theory and Yoga.