hylolib-1.3.1: Tools for hybrid logics related programs

HyLo.InputFile

Documentation

write :: (Show n, Show p, Show r) => [Formula n p r] -> StringSource