ideas-1.3.1: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Algebra.BooleanLaws

Contents

Description

 

Synopsis

Boolean laws

Law transformer

fromOrLaw :: Law (Or a) -> Law a Source

Properties