Go to file
xenia b43f5ecea1 Add javascript 2023-12-21 14:00:00 +01:00
agda Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
bash Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
c Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
html Add HTML 2023-12-11 19:48:31 +01:00
javascript Add javascript 2023-12-21 14:00:00 +01:00
nix Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
python Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
rust Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
.envrc Add flake build 2023-11-11 23:27:34 +01:00
.gitignore Add flake build 2023-11-11 23:27:34 +01:00
LICENSE Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
README.md Add javascript 2023-12-21 14:00:00 +01:00
flake.lock Add flake build 2023-11-11 23:27:34 +01:00
flake.nix Add javascript 2023-12-21 14:00:00 +01:00