celsobonutti
hey i'm celso | i like haskelly things, and occasionally try to learn agda, ocaml and lean4
@NoRedInk Salvador, Bahia
celsobonutti's Following
- amberploencio
- lix-project
- agda-webTaiwan
- claudio-de-oliveira
- fizruk@InnopolisUniversity
- phatedPhoenix, AZ
- 1BascoBrazil
- axiomed
- lbguilhermeCubos
- jeanps95
- plt-amyBrazil
- fosskersJapan
- lurodrigoRio de Janeiro, RJ, Brazil
- leodemouraAWS
- snoyberg@fpco
- Innf107
- andrewrk@ziglang
- rokoptPortland, OR, USA
- m-ou-seNetherlands
- isovectorVancouver, BC
- chshershBloomberg
- perkeeFront Range, USA
- takanuva
- Fraccaman@heliaxdev
- gleam-langOn the BEAM!
- thomashoneyman@aristanetworks
- Effect-TSLondon
- Gabriella439@MercuryTechnologies
- felipenlunkesOrsegups Participações S/A
- romac@informalsystems
- steder@BQE
- Huxpro[Tiktok, Meta, ...China]
- djs55Docker Inc
- omnibs@NoRedInk
- michaelpjCircuitHub
- jali-clarkeToronto, Ontario, Canada