Sebastian Ullrich kha@functional.cafe
makes Lean at Lean FRO
Jonas Chevalier 🦙 :Twitter_Verified_Badge: @zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.
makes Lean at Lean FRO
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.