|
|
626ffdd4e2
|
clarify index j
|
2017-06-20 16:14:04 +02:00 |
|
|
|
d5360a98fa
|
add mypy_cache to gitignore
closes #1
|
2017-06-20 15:05:38 +02:00 |
|
|
|
faf380591b
|
created placeholder main file
|
2017-06-19 00:15:15 +02:00 |
|
|
|
5c84386ba1
|
add mypy as a requirement
|
2017-06-18 23:02:12 +02:00 |
|
|
|
2075f49bd5
|
instructions on using a venv
|
2017-06-18 22:49:37 +02:00 |
|
|
|
06483bae4d
|
added readme with some tooling info
|
2017-06-17 01:32:29 +02:00 |
|
|
|
1b9725b7e4
|
Notizen mit formalen Überlegungen
|
2017-06-01 01:04:08 +02:00 |
|
