GitHub repository: DeltaQ-SD/dqsd-classes
Primary language: Haskell
Created: 2023-08-21T11:44:09Z
Description: A formulation of the ∆QSD approach captured as Haskell typeclass and associated functionality.