programming.md: link to JLearner language document

btj · May 16, 2020 · f65c64a · f65c64a
1 parent 92483cb
commit f65c64a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/programming.md b/programming.md
@@ -1,3 +1,5 @@
 # Principles of programming in Java
 
 We introduce the core concepts of the Java programming language: values, variables, object references, arrays, classes, the call stack, and the heap, by means of a series of simple example programs. We do so using the [JLearner](https://btj.github.io/jlearner/) environment for visualizing the execution of Java code snippets.
+
+See [The JLearner Programming Language] for a detailed description of the syntax and meaning of JLearner programs. We recommend that students study this document to acquire a precise vocabulary for discussing and reasoning about JLearner (and Java) programs and their execution.