-
Notifications
You must be signed in to change notification settings - Fork 0
Custom protocol creation #7
Comments
When this is done, it might be a nice idea to integrate a way to simplify protocols (normal forms are probably useful for this). This would then also allow us to check whether a newly created protocol isn't just the same as an older one. |
This'll also end up fixing #24 when I implement the package I mentioned above |
(These are basically some notes for myself) I have a rough draft for a drag-'n-drop system for boolean combinations of gossip protocol constituents that I think is pretty neat, but it needs:
Then, I need to convert the current predefined protocols to the new format. Currently, I'm using the following type: type BoolElement
= And
| Or
| Token Bool Constituent
| Group Bool (List BoolElement) The Based loosely on the following LL(1) grammar:
Note that the use of |
Plan for the showable version: Add a note saying that this is in progress w/ a link to (the cleaned up version of) a live version of the repository mentioned above, and include it in the query as a hypothetical |
I.e. a way to combine constituents in the UI to create a protocol
The text was updated successfully, but these errors were encountered: