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