https://pantsbuild.org/ logo
#general
Title
# general
b

bored-art-40741

10/05/2015, 5:16 PM
IMO the solution might be to write our own resolver that we can reason carefully about and prove works in a way that is amenable to this system