doc/tutorial/basics: fix link and JSON results
Change-Id: I9908521f22949429ac14ec9d60fb08602adc0eb6
diff --git a/doc/tutorial/basics/disjunctions.md b/doc/tutorial/basics/disjunctions.md
index 6831dba..f9507ce 100644
--- a/doc/tutorial/basics/disjunctions.md
+++ b/doc/tutorial/basics/disjunctions.md
@@ -1,4 +1,4 @@
-[TOC](Readme.md) [Prev](unification.md) [Next](disjstruct.md)
+[TOC](Readme.md) [Prev](unification.md) [Next](defaults.md)
_Types and Values_
diff --git a/doc/tutorial/basics/fold.md b/doc/tutorial/basics/fold.md
index 4e8fa8e..952c240 100644
--- a/doc/tutorial/basics/fold.md
+++ b/doc/tutorial/basics/fold.md
@@ -13,9 +13,11 @@
<!-- JSON result -->
```json
-"outer": {
- "middle": {
- "inner": 3
+{
+ "outer": {
+ "middle": {
+ "inner": 3
+ }
}
}
```
\ No newline at end of file
diff --git a/doc/tutorial/basics/foldany.md b/doc/tutorial/basics/foldany.md
index dd77606..1bcab41 100644
--- a/doc/tutorial/basics/foldany.md
+++ b/doc/tutorial/basics/foldany.md
@@ -17,12 +17,14 @@
<!-- JSON result -->
```json
-"outer": {
- "middle1": {
- "inner": 3
- },
- "middle2": {
- "inner": 7
+{
+ "outer": {
+ "middle1": {
+ "inner": 3
+ },
+ "middle2": {
+ "inner": 7
+ }
}
}
```
\ No newline at end of file
