🦖
GHC contributor, working on linear types, equality saturation, and in whatever else
-
Well-Typed LLP @ GHC Team
- Portugal
- alt-romes.github.io
Search results
0 open and 0 closed projects found.-
There aren't any projects yet





