[翻译规范](https://docs.google.com/document/d/1kPS91IRJUuSyqGeqYrft7V7fgWd4-rAZK2__sJvPb_A/edit?usp=sharing)，修改自 [Idris-zh 翻译规范](https://docs.google.com/document/d/1_9CoIMd0wWCgX5u0Nq5CuJWDZrgfG8V4RjVEIgwrfg8/edit?usp=sharing) [术语表](https://docs.google.com/spreadsheets/d/1kc8tVp4aQeuWGF1gPTACL2RczfE4WsKA8iIXmbcQqkM/edit?usp=sharing)
