Michael Hope
|
d60fb90b53
|
build: fix a type error. peek() returning !None means read() will return !None.
|
2018-10-22 12:30:17 +02:00 |
|
Michael Hope
|
c9fa3c039f
|
pl0: switch from tc to mypy for type checking.
|
2017-07-04 18:26:00 +02:00 |
|
Michael Hope
|
2ab483e9ed
|
lex: changed to the ReprMixin.
|
2016-05-31 22:35:50 +02:00 |
|
Michael Hope
|
0b6c03b99b
|
general: ran pylint and tidied up.
|
2016-05-29 21:33:45 +02:00 |
|
Michael Hope
|
865433739e
|
general: added copyright headers and license file.
|
2016-05-29 21:10:39 +02:00 |
|
Michael Hope
|
849c7fcc74
|
general: moved source under pl0/, and tests under tests/
|
2016-05-29 21:05:00 +02:00 |
|