Users following apotheca
Miao ZhiCheng
hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal