search

mdfeist / TypeV

Apache License 2.0
0 stars 0 forks source link

Rewrite intro #27

Closed eddieantonio closed 8 years ago

eddieantonio commented 8 years ago

There needs to be a coherent motivation for our tool and the kind of analyses it makes possible.

What is our goal with TypeV?