Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Induction #15

Closed
2 tasks done
OlingCat opened this issue Apr 7, 2019 · 3 comments
Closed
2 tasks done

Induction #15

OlingCat opened this issue Apr 7, 2019 · 3 comments
Assignees
@OlingCat

Comments

@OlingCat
Copy link
Contributor

OlingCat commented Apr 7, 2019 •
edited by fangyi-zhou
Loading

  • 初译
  • 初校
@OlingCat OlingCat self-assigned this Apr 7, 2019
@OlingCat OlingCat mentioned this issue Apr 7, 2019
Open
31 tasks
@fangyi-zhou
Copy link
Contributor

fcd86e9 加入了一些新的内容 需要重新补一下

@OlingCat
Copy link
Contributor Author

fcd86e9 加入了一些新的内容 需要重新补一下

补上了

@OlingCat OlingCat mentioned this issue Jul 7, 2019
Open
14 tasks
@inkydragon
Copy link

inkydragon commented Jul 11, 2019 •
edited
Loading

PLFA-zh/src/plfa/Induction.lagda

Line 101 in 56bb391

* **分配率（Distributivity）**。对于所有的 `m`、`n` 和 `p`，若

分配率（Distributivity）

这个 google 搜了，去查词典竟然很难查到，找到一个

the quality of being distributive

这个确实能叫做 ”分配率“。

不过看定义 ”Distributivity“ 指的就是 “distributive law“。

而原文又说

mathematicians have agreed on names for some of the most common properties.

不如翻译为 ”分配性“吧。其他的几个词也可以改一改，都改成 ”XX性“，毕竟都是运算符的性质。”XX律“对应的应该是 "xxxx law"

Identity # 这个还是叫 幺元
Associativity 结合性
Commutativity 交换性
Distributivity 分配性

或者把后三个都叫，”XX律“ 也说得通。

@OlingCat OlingCat added this to PLFA Mar 1, 2024
@OlingCat OlingCat moved this to 已校对（需要复核） in PLFA Mar 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@OlingCat OlingCat

Labels
None yet
Projects
PLFA
Status: 已校对（需要复核）
Milestone
No milestone
Development

No branches or pull requests
3 participants
@OlingCat @inkydragon @fangyi-zhou