search

bushwallyta271828 / logic_graph_scalable

This repository should support the logicgraph.dev website, taking over from logic_graph.
MIT License
0 stars 0 forks source link

Make the content boxes inside the claim boxes behave reasonably. #132

Closed bushwallyta271828 closed 6 months ago

bushwallyta271828 commented 6 months ago

I'm pretty confident that the big obstacle here will be the zeroth order claims. What is the user interaction going to be like?

bushwallyta271828 commented 6 months ago

I'm thinking that the zeroth order claims will look something like this:

[real input] P([formula input] | abcdef) + [real input] P([formula input] | abcdef) = [real input] + [real input] P([formula input] | abcdef) + [real input] P([formula input] | abcdef) + [real input] * P([formula input] | abcdef)

where "abcdef" represents the claim ID of the zeroth order claim. Also, when the user isn't editing the claim, the box should display the content of the claims referenced in the formula along with their ID's.