search

cicada-lang / cicada-plct

Cicada Language (PLCT little team)
https://cicada-lang.org
GNU General Public License v3.0
91 stars 7 forks source link

[design] syntax to reason about equations #105

Open xieyuheng opened 2 years ago

xieyuheng commented 2 years ago

大家看这里，为了证明一个定理需要写很多 equal_compose

https://readonly.link/manuals/cicada-lang/cicada/-/structures/boolean-lattice.md#absorption-law

我们需要设计一个语法，来优化这种 reason about equations