3 Commits (main)

Author	SHA1	Message	Date
Joshua Potter	f573cc7ada	Update `lean.nvim`.	2024-02-24 07:15:34 -07:00
Joshua Potter	7e5b575053	Restructure neovim config.	2024-01-04 10:08:13 -07:00
Joshua Potter	f7a592c094	Move jrpotter to top-level.	2023-12-10 12:16:44 -07:00