FedSearch
Hacker News · @ycombinator
7 followers · 1134 posts · Server rss-mstdn.studiofreesia.com

#programming_languages #compiler #type_inference #bidirectional_typechecking #unification #union_find #constraint_solving

Last updated 1 year ago
Original post