Login: 3noch
Company: @obsidiansystems
Location: Jeffersonville, IN
Bio: ? Software Dev @obsidiansystems ? Partner @grafted-in ? Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ?
Blog: https://www.graftedin.io
Blog: https://www.graftedin.io
Commits To
Repository | Most Recent Commit | # Commits |
---|