ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
DDC.Version
splash :: String Source #
version :: String Source #