GitLab

Merge branch '39-difftoconsole-console-is-not-reset-to-black-in-case-last-line-is-colored' into 'master'

Resolve "diffToConsole: console is not reset to black in case last line is colored"

Closes #39

See merge request !137

Resolve clean-test#5: readability enhancements for diffToConsole

Closes clean-test#5

See merge request !136

Move the JSONEncode and JSONDecode implementation to the definition module

See merge request !126

Add vt100 terminal

See merge request !134

Merge branch 'add-vt100-terminal' of gitlab.science.ru.nl:clean-and-itasks/clean-platform into add-vt100-terminal

added functions to obtain key given a value

See merge request !132

change based on discussion

Merge branch 'master' of gitlab.science.ru.nl:clean-and-itasks/clean-platform into json_generic_part_two

4 versions:
(a) overloaded ==, returning Maybe
(b) higher-order, returning Maybe
(c) overloaded ==, returning default
(d) higher-order, returning default

fix comments of margin instances

See merge request !128

Fix --option in Testing.Options

See merge request !129

Make Data.Either.either handle unique functions

See merge request !130

Document Testing.Options (and a bit of System.Options)

See merge request !125

Resolve "don't close StdErr for processes created with runProcessPty"

Closes #37

See merge request !124

This reverts commit 05c85489.

Svg restructured

See merge request !101

This reverts merge request !123

Json generic to definition

See merge request !123