About
★ Software Developer at Obsidian Systems (https://obsidian.systems) ★ Full stack web developer ★ Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Info
Obsidian Systems
Jeffersonville, IN, USA
Member since September 02, 2015