Joshua Potter af9f2f6b10 Have DAPs work in way that allows being shadowed by nix-shell/direnv.		2023-11-22 06:11:41 -07:00
..
lang	Have DAPs work in way that allows being shadowed by nix-shell/direnv.	2023-11-22 06:11:41 -07:00
lua/init	Have DAPs work in way that allows being shadowed by nix-shell/direnv.	2023-11-22 06:11:41 -07:00
default.nix	Have DAPs work in way that allows being shadowed by nix-shell/direnv.	2023-11-22 06:11:41 -07:00
utils.nix	Add support for lean.	2023-11-19 21:00:33 -07:00