Add most of the types for RM specs#305

Merged

jonaprieto merged 41 commits into

topic-transaction-functionfrom

jonathan/add-rm-types

Jan 17, 2025

Commits on Dec 31, 2024

Add state type documentation in Juvix Markdown format
jonaprieto
committed
Add documentation for Resource type in Juvix Markdown format
jonaprieto
committed
Add documentation for Resource Machine type in Juvix Markdown format
jonaprieto
committed
Add documentation for Resource Logic Proof in Juvix Markdown format
jonaprieto
committed
Add documentation for Action type in Juvix Markdown format.
jonaprieto
committed
Refactor Juvix documentation for cryptographic types
jonaprieto
committed
Update Juvix documentation: refine equality import in prelude.juvix.md
jonaprieto
committed
Remove nullifier documentation and add new nullifier and nullifier key documentation
jonaprieto
committed
Add documentation for Transaction type and update Action type in Juvix Markdown format
jonaprieto
committed
Remove obsolete documentation for Action, Resource Logic Proof, Resource, and Transaction types in Juvix Markdown format.
jonaprieto
committed
Update nav and, update everything.juvix.md and indexes.
jonaprieto
committed

Commits on Jan 2, 2025

Commits on Jan 3, 2025

Commits on Jan 8, 2025

add w.i.p
jonaprieto
committed
Fix issues detected by pre-commit
Anoma Research
committed

Commits on Jan 15, 2025

Jan. Last code block. typecheck the file arch/system/../commitmenttree.juvix.md
jonaprieto
committed

Commits on Jan 16, 2025

Commits on Jan 17, 2025