frege-hoogle-database:Hoogle Frege数据库

【文件属性】：

文件名称：frege-hoogle-database:Hoogle Frege数据库

文件大小：9KB

文件格式：ZIP

更新时间：2024-06-04 07:56:51

Java

Hoogle Frege数据库 从Frege文档网站为Frege生成数据库。 为Frege生成并部署hoogle数据库 从获取frege-hoogle-database jar 从获取罐子 跑步 java -cp path/to/frege-hoogle-database-.jar:/path/to/frege.jar frege.hoogledatabase.Main 这将在当前目录中产生一个名为frege-hoogle-database.txt的hoogle文本数据库文件。 使用--help运行以查看可用选项。 通过发送带有该文件的拉取请求，可以将文本数据库文件上载到 。 运行的Frege的Hoogle实例将在一天之内用新数据库刷新。 在本地运行Hoogle for Frege 安装 运行以下命令，将通过上述步骤生成的文本数据库文件转换为二进

【文件预览】：
frege-hoogle-database-master
----src()
--------main()
----LICENSE(1KB)
----README.md(2KB)
----pom.xml(4KB)
----.gitignore(680B)