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