jats-ug/translate — pull request #5 by dif-engine (2014-06-14 02:44:27+00:00)
Title: Update SPPSV-padl05.md

In such a type system,types are exceedingly expressive but type-checking often involves a great deal of theorem proving and becomes intractable to automate. This is essentially an approach that
strongly favors expressiveness over scalability.

の訳文