用户讨论: Trebor/HOTT 规则


关于此版块

不可编辑

本站内容使用 CC BY-SA 4.0 授权。

发起新话题
您尚未登录。要收到带您名字而不是您 IP 地址的署名，您可以登录或注册一个账户。

为啥要用这种 subst 语法啊

3 个评论 • 2022 年 8 月 26 日 (五) 09:10 2022 年 8 月 26 日 (五) 09:10
3
Ice1000 (讨论贡献)

在其他词条里, 我已经大量使用了 这个符号了

2022 年 8 月 26 日 (五) 07:10 2022 年 8 月 26 日 (五) 07:10
Trebor (讨论贡献)

因为这不是词条, 我没有必要保持一致性

2022 年 8 月 26 日 (五) 07:29 2022 年 8 月 26 日 (五) 07:29
Ice1000 (讨论贡献)

我其实就是想问问你为什么选这个, 总不可能是随机的吧

2022 年 8 月 26 日 (五) 09:10 2022 年 8 月 26 日 (五) 09:10
没有更早的话题
取自 “https://www.bananaspace.org/wiki/用户讨论:Trebor/HOTT_规则”