▲ Dependent Types for JavaScript at goto.ucsd.edu▼1 up and 0 down, posted by echojs 4486 days ago discuss