ประโยคภาษาจีน : 中文句子 |
---|
tiān jiā 添加 gèng jiā 更加 qiáng dà 强大 de 的 bú biàn liàng 不变量 de 的 lìng yì zhǒng 另一种 fāng fǎ 方法 shì cóng 是从 shǔ 属 lèi xíng 类型 |
Yet another approach to adding much more powerful invariants is that of dependent types. |