Now I have a ~2.3k line Lean monstrosity that proves that yy roundtrips.
Падабаецца 0
Рэпосты 0
@vitaut I know only yy in vim
Падабаецца 0
Рэпосты 0
Адказаў пакуль няма 🐣
Now I have a ~2.3k line Lean monstrosity that proves that yy roundtrips.
@vitaut I know only yy in vim