Thomas Lindner
|
ca762f41c9
|
use database
|
2023-10-31 01:00:31 +01:00 |
|
Thomas Lindner
|
6e0023497c
|
simple note creation and editing
|
2023-10-30 23:12:39 +01:00 |
|
Thomas Lindner
|
f947999cd1
|
basic webapp
|
2023-10-29 18:46:15 +01:00 |
|
Thomas Lindner
|
7d67b59f5a
|
run linting/typechecking only once
|
2021-11-18 02:09:18 +01:00 |
|
Thomas Lindner
|
877b79c681
|
disallow untyped defs
|
2021-11-18 01:59:09 +01:00 |
|
Thomas Lindner
|
4a10c7a9ba
|
typecheck with mypy
|
2021-11-17 23:46:38 +01:00 |
|
Thomas Lindner
|
a47c52d8ad
|
basic python package
|
2021-11-16 01:00:38 +01:00 |