tamarin-prover-utils-0.4.0.0: Utility library for the tamarin prover.

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Infered

Extension.Data.ByteString

Description

Provide NFData instance for ByteString