https://kotlinlang.org logo
#arrow-meta
Title
# arrow-meta
r

raulraja

03/30/2020, 1:58 PM
@Imran/Malic @danieeh @aballano @Joachim Ansorg The deadlock is resolved when I move initializations of proofs outside to each place where a new resolution facade is created: No need to worry about that now. https://github.com/arrow-kt/arrow-meta/blob/591a5eedfb8594d89b3a9048a8627084b78f23e3/idea-plugin/src/main/kotlin/arrow/meta/ide/plugins/proofs/resolve/ProofsKotlinCacheService.kt#L27
🙌 5
d

danieeh

03/30/2020, 1:59 PM
nice! good catch!