3 ms·Sage has dependent types so he probably likes them.by ufo 13y agoSage has dependent types so he probably likes them.tel 13y agoAh, I misread the intro blurb.