DictionaryForumContacts

   English Russian
Google | Forvo | +
number of inference rules in the type systemstresses
progr. количество правил выведения типов в системе типов (Alex_Odeychuk)