ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Service.Submit

Description

Diagnose a term submitted by a student. Deprecated (see diagnose service).

Documentation

submit :: State a -> Context a -> Result aSource

data Result a Source

Constructors

Buggy [Rule (Context a)] 
NotEquivalent 
Ok [Rule (Context a)] (State a) 
Detour [Rule (Context a)] (State a) 
Unknown (State a) 

Instances

Typed a (Result a)