Rodrigo Mesquita
@alt-romes
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Portugal
- Rank
- #58
- Profile
- View on GitHub
- Company
- Well-Typed LLP @ GHC Team
- Location
- Portugal
- Blog/Website
- alt-romes.github.io
- -
- Hireable
- -
- Public Repos
- 136
- Public Gists
- 10
- Account
- User
- Joined GitHub
- Aug 28, 2016 (9 years, 2 months ago)
- Last Updated
- Oct 24, 2025 10:10
Bio
GHC contributor, working on linear types, equality saturation, and in whatever else
Followers
220
Following
494
Contributions (last year)
1,492
Similar Developers
