Agda的rewrite有没有左右相反的版本
【Agda的rewrite有没有左右相反的版本】 没看懂问题。你直接用rewrite (sym ...)不行么？
推荐阅读
- 知乎有没有必要增加一个特别关注功能
- 趣头条|幻影提车小记…有没有车主群加一个
- 基因是主动表达还是受某种场的影响被动表达，又或两者都有有没有隔绝所有电磁场来研究基因表达的实验
- 有没有网站能够搜出我给的类似风格图片的网站
- 有没有突如其来很好的小创意
- 上海或苏州有没有比较好的大数据培训机构
- 在平台购买网店时，签订网店转让合同有没有法律效应
- 钙奶|到底有没有营养？医生：不如白开水孩子爱喝的AD钙奶
- 有没有办法下有版权的歌
- 有没有比较好的商业计划书模板