https://pantsbuild.org/ logo
w

witty-crayon-22786

08/19/2016, 4:58 PM
seems like it would, because you could figure out what the closed universe of types is