ConceptRuntime errorModified just nowProperties 4Hide BooksChapter 3. Untyped arithmetic expressionsChapter 1. Learning SMoL - standard model of languages JourneyProgramming Language Theory Statuslearning Tagslambda calculusruntimesemanticsINFO(Runtime) An error that happens at runtime. Previous in ConceptsRule scheme inference rule metavariableNext in Concepts Runtime monitoring