Ubuntu

Binary package “libghc-genvalidity-property-prof” in ubuntu oracular

  1. Oracular (24.10)
  2. libghc-genvalidity-property-prof

standard properties for functions on Validity types; profiling libraries

 Properties of functions, operations, and relations.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.

Source package