Well-Typed LLP
Users following well-typed
Evan Relf
evanrelf
Passionate about pragmatic, rigorous software craftsmanship. Working on ACH and checks at Mercury.
@MercuryTechnologies Portland, Oregon, United States
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Sheffield, United Kingdom
Derek Mahar
derekmahar
Software Developer, amateur Data Scientist, Machine Learning enthusiast, and cryptocurrency fan.
Montreal, Quebec, Canada
Keith
safestak-keith
Technical Lead & Experienced Software Engineer | High-scale Distributed Systems
@SafeStak Cardano Stake Pool Operator
@CardanoSharp Lead Developer
Sydney, AU
PreviousNext