4 ms·How do you feel about dependently typed systems?by tel 13y agoHow do you feel about dependently typed systems?ufo 13y agoSage has dependent types so he probably likes them.tel 13y agoAh, I misread the intro blurb.