Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Review essential tutorial content #135

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

Review essential tutorial content #135

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
57df436
read until Local definitions
jonaprieto Dec 23, 2024
56b4efe
Read until lists and iteration
jonaprieto Dec 23, 2024
bda7152
read until The dot product
jonaprieto Dec 23, 2024
fdad179
Read a bit more, started traits
jonaprieto Dec 24, 2024
3cb8a25
Improve phrasing
jonaprieto Dec 24, 2024
509c687
fix formatting and some typos
jonaprieto Dec 25, 2024
260b32b
increase boost
jonaprieto Dec 25, 2024
3cc8588
Update docs/tutorials/essential.juvix.md
jonaprieto Jan 13, 2025
8211d23
Update docs/tutorials/essential.juvix.md
jonaprieto Jan 13, 2025
40ba52c
Update docs/tutorials/essential.juvix.md
jonaprieto Jan 13, 2025
001df9e
Update docs/tutorials/essential.juvix.md
jonaprieto Jan 13, 2025
6d742fd
Update docs/tutorials/essential.juvix.md
jonaprieto Jan 13, 2025
0bba9c5
Refactor and enhance documentation in essential.juvix.md
jonaprieto Jan 13, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions docs/blog/posts/strictly-positive-data-types/juvix.lock.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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: []
Loading
Loading