ParentFull threadmighmi·> CUE specHave you heard of Ada, whose type system does the same thing?View on HN