connorbaker Goto Github PK
Name: Connor Baker
Type: User
Company: @tweag
Bio: Nix Engineer @tweag. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Location: Haymarket, V.A
Blog: https://connorbaker.github.io/ProgrammingInHaskell2ndEd/