Nicole Tietz-Sokolskaya 657cf3a87b Add Idris, remove Lean		2022-11-09 15:01:15 -05:00
..
.bashrc	Better vim resuming	2022-09-28 09:16:38 -04:00
.profile	Add Idris, remove Lean	2022-11-09 15:01:15 -05:00