🦖
GHC contributor, working on linear types, equality saturation, and in whatever else
-
Well-Typed LLP @ GHC Team
- Portugal
- alt-romes.github.io
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.