ideas-1.5: Feedback services for intelligent tutoring systems

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

Ideas.Common.Algebra.FieldLaws

Contents

Description

 

Synopsis

Semi-ring laws

Ring laws

ringLaws :: Ring a => [Law a] Source

Field laws

Laws for additive monoid

Laws for multiplicative monoid

Properties