3 ms·

> formal, verifiable modernization Would it be possible to do the same to modernize a Kotlin program becoming legacy in the future to something even more moder

by kvemkon 11mo ago

> formal, verifiable modernization Would it be possible to do the same to modernize a Kotlin program becoming legacy in the future to something even more modern?