3 ms·> CUE spec Have you heard of Ada, whose type system does the same thing?by mighmi 1y ago> CUE spec Have you heard of Ada, whose type system does the same thing?