Informal talk on upcoming dependent types in Typed Racketyoutube.com1 point·juliangamble··0 commentsOpen articleSaveView on HN