Review essential tutorial content (#135)

Markdown formatting improvements and a few text refinements. --------- Co-authored-by: Łukasz Czajka <[email protected]> Co-authored-by: Lukasz Czajka <[email protected]>
anoma · Jan 14, 2025 · e831d99 · e831d99
1 parent 7080a1f
commit e831d99
Show file tree

Hide file tree

Showing 2 changed files with 400 additions and 126 deletions.
diff --git a/docs/blog/posts/strictly-positive-data-types/juvix.lock.yaml b/docs/blog/posts/strictly-positive-data-types/juvix.lock.yaml
@@ -0,0 +1,11 @@
+# This file was autogenerated by Juvix version 0.6.9.
+# Do not edit this file manually.
+
+version: 2
+checksum: 8d026c805b15debbae84bf1db2278b0fe5c4708e1ae049a204c385259c437d5c
+dependencies:
+- git:
+    name: anoma_juvix-stdlib
+    ref: 01ff19f1135048be3402e094f2fc89406a44a995
+    url: https://github.com/anoma/juvix-stdlib
+  dependencies: []