问题标签 [equational-reasoning]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
22 问题
0
投票
1
回答
74
浏览
haskell - （序列 。） 。翻转 fmap === forM?
是(sequence .) . flip fmap一样的forM吗？我在这里问是因为pointfree.io似乎没有说同样的话......
0
投票
1
回答
40
浏览
agda - 为什么等式推理链无法满足平凡可解的约束？
以下 Agda 代码：
产量：
在我输入之后C-c C-l。
（注意： “22,6-13”表示“distrib”这个词的第二次出现。）
我不明白为什么不能满足约束。它们似乎很容易解决：