Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski and OvGU Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@iks.cs.ovgu.de
Stabilityprovisional
Portabilitynon-portable (various -fglasgow-exts extensions)
Safe HaskellNone

Logic.PrintLogics

Description

Print list of all logics with some useful information.

Documentation