Publish notes/java.md

teach-plt · Nov 21, 2024 · 15c19b1 · 15c19b1
1 parent d8b5178
commit 15c19b1
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 9 deletions.
diff --git a/README.md b/README.md
@@ -48,7 +48,7 @@ Material: plt = course book, dragon = Dragon book. Slides follow closely the plt
 | Tue 19/11 | 13-15 | Type checking | [slides](plt-book/ipl-book/slides/4-slides-ipl-book.pdf), plt 4, dragon 5,6, [script](notes/type-checking.html), [prime.c](notes/prime.c), [prime-stms.c](notes/prime-stms.c), [division.c](notes/division.c), [division-annotated.c](notes/division-annotated.c) |
 | Thu 21/11 | 13-15 | Interpreting | [slides](plt-book/ipl-book/slides/5-slides-ipl-book.pdf), plt 5, [script](notes/interpreter.html) |
 | Tue 26/11 | 13-14 | Hands-on with Lab 2 (Haskell) |  [script](notes/monads.html) |
-| Tue 26/11 | 14-15 | Hands-on with Lab 2 (Java)    | |
+| Tue 26/11 | 14-15 | Hands-on with Lab 2 (Java)    | [script](notes/java.html) |
 | Thu 28/11 | 13-15 **SB-H5** | Code generation | [slides](plt-book/ipl-book/slides/6-slides-ipl-book.pdf), plt 6, dragon 6,7, [notes](notes/compilation.html), [prime.c](notes/prime.c), [prime.j](notes/prime.j) |
 | Tue 03/12 | 13-14 | Hands-on with Lab 3 (Haskell) |  |
 | Tue 03/12 | 14-15 | Hands-on with Lab 3 (Java)    |  |

diff --git a/notes/Makefile b/notes/Makefile
@@ -1,7 +1,7 @@
 .PHONY: all
 all: index.html
 
-files = type-checking.html interpreter.html monads.html compilation.html cbn-cbv.html typing.html LR-table.html git-primer.html
+files = type-checking.html interpreter.html monads.html compilation.html cbn-cbv.html typing.html LR-table.html git-primer.html java.html
 
 index.html : $(files)
 	tree -H '.' -L 2 --noreport --charset utf-8 > $@

diff --git a/notes/java.md b/notes/java.md
@@ -7,12 +7,12 @@ generated by the parser defined in the stub.
 
 ```java
 switch(exp) {
-            case EInt    e -> ... ;
-            case EDouble e -> ... ;
-            case EAnd    e -> ... ;
-            case EOr    e -> ... ;
-	    ...
-	    default -> throw new IllegalStateException("Case for " + e + " is not yet implemented.");
+    case EInt    e -> ... ;
+    case EDouble e -> ... ;
+    case EAnd    e -> ... ;
+    case EOr    e -> ... ;
+    ...
+    default -> throw new IllegalStateException("Case for " + e + " is not yet implemented.");
 }
 ```
 
@@ -50,4 +50,3 @@ public record TypedAnd(TypedExpr e1, TypedExpr e2) {
   }
 }
 ```
-