frege-repl：Frege REPL

【文件属性】：

文件名称：frege-repl：Frege REPL

文件大小：67KB

文件格式：ZIP

更新时间：2024-03-21 19:43:44

Frege

弗雷格·REPL 这是Frege的命令行REPL。 可以在提示中输入Frege代码段以对其进行评估。 除弗雷格代码外，还支持以下命令： 命令 描述 ：type <表达式> 显示表达式的类型 ：浏览 如果提供了模块名称，则显示模块中的名称，否则显示默认的REPL模块中的名称 ：java 查看最后编译的Frege源代码的Java翻译 ：load 从URL或文件加载Frege代码段 ：r 重新加载上一个脚本URL或文件 ：set提示提示符字符串 将提示设置为`promptString` ：set多行提示提示符 设置多行模式提示。 ：set show-limit 设置要在输出字符串中显示的字符数（默认值：80）。 ：set编译器选项 设置编译器选项，例如“提示”，“ nowarn”，“内联”，“ O”，“注释”，“ ascii”，“

【文件预览】：
frege-repl-master
----gradlew(5KB)
----settings.gradle(55B)
----deploy.sh(244B)
----frege-repl-nativedeps()
--------src()
--------build.gradle(0B)
----.travis.yml(481B)
----gradle()
--------wrapper()
--------sonatype.gradle(3KB)
----README.md(3KB)
----gradlew.bat(2KB)
----frege-repl-core()
--------src()
--------build.gradle(528B)
----gradle.properties(24B)
----.gitignore(596B)
----build.gradle(1KB)