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