Now I sort of understand the structure of the crate, but I have some more questions: if I want to add some new functions, is it better to add it to the relevant file or create a new file? Also, do we assume the syntax of set.mm in the source code, e.g., wff precedes a formula, |- precedes a theorem, and the label of a definition begins with "df-"?
在2022年11月12日星期六 UTC+1 06:19:16<[email protected]> 写道： > What kind of data processing are you interested in? Ideally this should be > doable using the public API of the crate so that you don't have to worry > about the fancy data structure stuff. > > On Fri, Nov 11, 2022 at 10:47 PM David A. Wheeler <[email protected]> > wrote: > >> >> >> > On Nov 11, 2022, at 2:38 PM, Zheng Fan <[email protected]> wrote: >> > >> > These days I am looking at the code of metamth-knife, hoping to do some >> more data processing based on the existing functions. But as a newbie in >> rust, I found the code a little bit hard to grasp, mainly because the >> database is stored in a fancy data structure (to improve performance, as >> far as I can see), and it is not immediate clear how to process it further. >> Is there somewhere I can find a detailed description of the data structure >> being used? Thanks in advance. >> >> Sadly, no. >> >> Pull requests to fix that would be welcome. I think it might be best to >> put them in the code itself >> (to increase the likelihood that the code would be updated when the data >> structures are modified). >> >> --- David A. Wheeler >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Metamath" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/metamath/2CF94F5C-2D99-4793-956B-E54C487D8C81%40dwheeler.com >> . >> > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5f09486c-a370-4cab-bda6-89a877a358a2n%40googlegroups.com.
