Allow grouping of logical units

danielpcox / belief

Prototype of a searchable, browsable, editable accounting of your own reasoning

0 stars 0 forks source link

Allow grouping of logical units #7

Open shanberg opened 6 years ago

shanberg commented 6 years ago

I can imagine a lot of cases where a user may want to group a set of logical steps into a single block. Maybe for re-use, maybe for a more intuitive diagram.

Could we summarize sets of propositions somehow? Have them link to other maps with a clear input and output to encapsulate logic?