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