|
2019
|
2019: d07: ex1: quieten Mypy
|
2021-12-13 18:03:31 +01:00 |
|
2020
|
2020: d25: ex2: add solution
|
2021-12-06 13:58:37 +01:00 |
|
2021
|
2021: d25: ex2: add solution
|
2021-12-26 18:35:57 +01:00 |
|
.envrc
|
nix: add direnv integration
|
2021-12-13 14:28:59 +01:00 |
|
.gitignore
|
git: ignore generated files
|
2021-12-13 14:28:59 +01:00 |
|
.isort.cfg
|
isort: use 'black' compatible style
|
2021-12-13 14:28:59 +01:00 |
|
flake.lock
|
nix: add flake
|
2021-12-13 14:28:59 +01:00 |
|
flake.nix
|
nix: add z3 to python environment
|
2021-12-26 17:46:51 +01:00 |
