Tim Richter
Results
1
issues of
Tim Richter
I'm not sure whether this is an issue with idris-vim or just with my setup, please bear with me. When editing .lidr (literate idris) files, and doing the key combinations...