How do come to that conclusion? The bulk of the book uses OCaml for examples and defines a simple language called F-flat:
---------------------
2.3 The F[ Programming Language
Now that we have seen how to define and understand operational semantics, we will begin to study our first programming language: F[.
F[ is a shrunk (flattened) pure functional programming language.
---------------------
Sorry about the missing flat symbol, it didn't survive copy and paste from the pdf.
5 comments
[ 3.5 ms ] story [ 20.5 ms ] threadhttp://pl.cs.jhu.edu/pl/book/dist/book/book.pdf
--------------------- 2.3 The F[ Programming Language Now that we have seen how to define and understand operational semantics, we will begin to study our first programming language: F[.
F[ is a shrunk (flattened) pure functional programming language. ---------------------
Sorry about the missing flat symbol, it didn't survive copy and paste from the pdf.