Improve web page index, and add more Aya literate pages

Author: utensil

README.md

@@ -1,10 +1,12 @@
 # Formal Land
 
-My monorepo for formalization:
+My monorepo for formalization.
 
-- [![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
-  - [README.md](./lean4/README.md)
-  - website: [lean4](https://utensil.github.io/formal-land/lean4/)
-- [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
-  - [README.md](./aya/README.md)
-  - website: [literate.aya](https://utensil.github.io/formal-land/aya/literate.aya.html)
+[![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml) [![TLA+ CI](https://github.com/utensil/formal-land/actions/workflows/tla.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/tla.yml) [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
+
+- [Lean 4 Playground](./lean4/README.md)
+  - [example index](https://utensil.github.io/formal-land/lean4/)
+- [Aya Playground](https://utensil.github.io/formal-land/aya/literate.aya.html)
+  - [haskeller-tutorial](https://utensil.github.io/formal-land/aya/haskeller-tutorial.html)
+  - [prover-tutorial](https://utensil.github.io/formal-land/aya/prover-tutorial.html)
+  - [literate](https://utensil.github.io/formal-land/aya/literate.html)

aya/justfile

@@ -10,7 +10,9 @@ test:
     aya haskeller-tutorial.aya
     aya prover-tutorial.aya
 
-doc:
+@doc:
     mkdir -p dist
-    -aya literate.aya.md --pretty-format=html --pretty-color=emacs --pretty-inline-code-style -o dist/literate.aya.html
+    aya haskeller-tutorial.aya --pretty-format=html --pretty-color=emacs --pretty-inline-code-style -o dist/askeller-tutorial.html
+    aya prover-tutorial.aya --pretty-format=html --pretty-color=emacs --pretty-inline-code-style -o dist/prover-tutorial.html
+    -aya literate.aya.md --pretty-format=html --pretty-color=emacs --pretty-inline-code-style -o dist/literate.html
     # -aya literate.aya.md --pretty-format=markdown --pretty-color=emacs -pretty-inline-code-style -o dist/literate.aya.md