Alexander Bantyev 5c523b7113 Add idris-vscode		2022-11-14 10:44:09 +04:00
..
default.nix	Add idris-vscode	2022-11-14 10:44:09 +04:00
extensions.nix	Add codebraid	2022-07-18 14:19:35 +04:00
theme.nix	Add vscode tasks	2022-05-30 15:25:46 +04:00