ConceptFirst classModified just nowProperties 4Hide BooksChapter 1. Learning SMoL - standard model of languagesChapter 1. Basics - functional programming in rocq JourneyProgramming Language Theory Statusmastered Tagslanguage-feature-designsemanticssyntax grammarCan be stored in variables.Passed as arguments.Returned from functions.Created at runtime.Embedded in data structures without restriction. Previous in ConceptsFinite typeNext in Concepts First class functional programming pure