Sharing here because this work is related to type inference for Nix
13 Likes
Looks like an instant classic to me!
1 Like