文件名称:ProtoQuipper:Proto-Quipper 语言的实现
文件大小:277KB
文件格式:ZIP
更新时间:2024-07-03 15:50:16
Haskell
这是 Proto-Quipper 的 README 文件。 先决条件 编译 Proto-Quipper 需要以下内容: GHC Haskell 编译器(使用 7.4.2 版测试) Alex 和 Happy(Haskell 的词法分析器和解析器) Haskell readline 库。 注意:这在 Windows 操作系统上不是必需的。 在所有其他操作系统上,它可以安装: 阴谋集团安装阅读线 建造 在*目录中,键入“make”。 描述 概要:ProtoQuipper [OPTION] .. [FILE] .. 输入并解释文件,或者如果没有给出文件,则运行交互模式。 -t, --type 不运行解释器。 -r, --run 运行解释(默认模式)。 -f FORMAT, --format=FORMAT 改变电路输出格式。 实现的格式是 *“visual”:在标准输出上显示电路 *