Evgeny Poberezkin cc55bf3e6b Different approach to commands (#34) ...

* different approach to command types (WIP)

* PartyProtocol class and other commands

* pretty-print scenarion

* remove old files

* remove unused prf/predicate templates

* remove NoImplicitePrelude from doctest (although there are no doctests atm)

2020-05-31 21:51:15 +01:00

..

doctest-driver.hs

Different approach to commands (#34)

2020-05-31 21:51:15 +01:00