▲ DailyJS: Dependent Types for JavaScript, radioactive.js, Minimail at dailyjs.com▼3 up and 1 down, posted by echojs 4795 days ago discuss