 |
| |||
| язык программирования с зависимыми типами (Alex_Odeychuk) | |||
|
language with dependent types : 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |
|
| |||
| язык программирования с зависимыми типами (Alex_Odeychuk) | |||
|
language with dependent types : 2 צירופים, 1 נושאים |
| תִכנוּת | 2 |