-
Well-Typed LLP @well-typed
Yan
TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
\Device\HardDisk1
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Derek Mahar
derekmahar
Software developer living in Montreal, Quebec, Canada.
Montreal, Quebec, Canada
Alan Stocco
alanStocco
Software engineer - Bitcoiner . Pelegrin
Fields: Editorial , Bank Crm, Responsive Website
Keith Pinson
Kazark
In imitation, creating through language. Linux, Emacs, type theory, functional programming, metaprogramming, compilers, build systems, language design.
Undisclosed
Evan Relf
evanrelf
Passionate about pragmatic, rigorous software craftsmanship. Working on ACH and checks at Mercury.
@MercuryTechnologies Portland, Oregon, United States
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
PreviousNext