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