Ideas.Encoding.LinkManager
data LinkManager
dynamicLinks
stateToXML
staticLinks
linksUp
pathLevel
(</>)
linkToIndex
linkToExercises
linkToServices
linkToService
linkToExercise
linkToStrategy
linkToRules
linkToExamples
linkToDerivations
linkToRule
linkToRandomExample
linkToTestReport
linkToState
linkToFirsts
linkToApplications
linkToDerivation
linkToMicrosteps