Proof state merger #132

New Issue

aniva · 2024-12-05T15:34:19-08:00

aniva commented

2024-12-05 15:34:19 -08:00

Would be a good idea to be able to do this

aniva added the

part/Goal

category

feature

labels 2024-12-05 15:34:19 -08:00

aniva self-assigned this 2024-12-05 15:34:19 -08:00

aniva commented

2024-12-05 15:35:24 -08:00

This will probably involve some application of the MetaTranslateM monad. If a goal state has two children, their metavariable names may clash, and there would need to be a distinguishing factor to tell apart if the two children share a mvar because of their common ancestry or because of coincidence.

This will probably involve some application of the `MetaTranslateM` monad. If a goal state has two children, their metavariable names may clash, and there would need to be a distinguishing factor to tell apart if the two children share a mvar because of their common ancestry or because of coincidence.

aniva added the

priority

low

label 2024-12-05 16:43:52 -08:00

Sign in to join this conversation.