-- ----------------------------------------------------------------- [ Lib.idr ]
-- Module      : Lib
-- Description : Module Description
--
-- This code is distributed under the BSD 3-clause license.
-- See the file LICENSE in the root directory for its full text.
-- --------------------------------------------------------------------- [ EOH ]