开发工具:
文件大小: 527kb
下载次数: 0
上传时间: 2021-03-26
详细说明：滑动
slide是一个表达式重写系统和验证器。 给定像这样的表达式
x(x + 2 * 3) / (x + 6)
slide应该能够发出简化表达式x 。
幻灯片的设计目标包括
简化为平台，其中重写规则是用户可配置的。 例如，您应该能够给x^2 dx -> 2x这样的规则（或从其中删除！），并且slide将在减少表达式中包含该规则。 可以认为这类似于编译器中的可调优化。
支持交互式用户界面，包括文本编辑器中诸如Tex之类的文档的文本编辑器功能。 有关此的更多信息，请参见。
验证语句正确性。
用法
幻灯片已准备就绪，可以非常早地使用。 尝试幻灯片的最简单方法是通过我们的 。
二进制文件可以从下载，也可以与cargo安装：
cargo install slide --version 0.0.1
# This should set slide in your path; for usa
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
