arrdem/source
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Black all the things

Browse source
This commit is contained in:
Reid 'arrdem' McKenzie 2021-09-02 22:10:35 -06:00
commit 9ed2165072
31 changed files with 395 additions and 294 deletions
projects/datalog-shell/src/python/datalog/shell
__main__.py

12
projects/datalog-shell/src/python/datalog/shell/__main__.py
View file

@ -56,12 +56,12 @@ from datalog.debris import Timing
from datalog.evaluator import select
from datalog.reader import pr_str, read_command, read_dataset
from datalog.types import (
CachedDataset,
Dataset,
LVar,
PartlyIndexedDataset,
Rule,
TableIndexedDataset
CachedDataset,
Dataset,
LVar,
PartlyIndexedDataset,
Rule,
TableIndexedDataset,
)
from prompt_toolkit import print_formatted_text, PromptSession