lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellSafe-Inferred
LanguageHaskell2010

L3.Log.Colors

Description

Safe and unsafe logging functions wrapping Control.Logging

Documentation