Hoogle for Frege

Hi,

First of all, thank you for making Hoogle. It is a wonderful tool and I am now trying to make it useful for Frege. I already have a working version here using Hoogle 4. The way I did it for Frege is to create a text file of all the Frege types and then use hoogle convert to convert it to a database file (.hoo extension).

Is there an equivalent to convert a text file to a database file with Hoogle 5? I checked hoogle generate --help but it doesn't seem to be taking a text file. Am I doing it the right way or is there a better approach to make Hoogle useful for Frege? Sorry if this is not the right channel to ask this.

Start by comparing Hoogle 4's hoogle convert workflow with Hoogle 5's hoogle generate --help, focusing on whether text input and .hoo database generation are supported. The issue mentions no source files or tests; done means establishing and documenting a supported approach for importing Frege types, or clarifying that a different integration is required.