... a programming language. ...a functional programming language.
What’s left in the course. The course in a nutshell Logics Techniques Applications.