frege-hoogle-database:Hoogle Frege数据库

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