🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
- https://cstml.github.io
- https://ko-fi.com/cstml
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Ethan Flower-01100101 01110100 01101000 01100001 01101110
ethanflower1903
Dev-Sec-Ops- Engineer
san francisco
Alexander Artemenko
svetlyak40wt
Founder of Ultralisp.org. Common Lisper.
I'm making videos about CL: https://www.youtube.com/@40ants
40Ants
Szabo Gergely
szg251
Software engineer. Functional programming enthusiast. Ex-musician.
@mlabs-haskell Hungary
MEHMET
mehmetbybz
ANTALYA🌴SİDE‘I don’t have time for things that have no soul’💫
TURKEY ANTALYA/MANAVGAT
Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA