Update RM specs with types#289

Draft

jonaprieto wants to merge 29 commits intomainfrom

topic-transaction-function

Commits on Dec 23, 2024

Impelment basic transaction function interface + nockma example instance

AHartNtkn
authored and
jonaprieto
committed
Streamline evalOp

AHartNtkn
authored and
jonaprieto
committed
Implement pound ops

AHartNtkn
authored and
jonaprieto
committed
(m) naming

AHartNtkn
authored and
jonaprieto
committed
Use built-in result monad

AHartNtkn
authored and
jonaprieto
committed
fix pund and slash consumption

AHartNtkn
authored and
jonaprieto
committed
fix if eval

AHartNtkn
authored and
jonaprieto
committed
Fix gas handling

AHartNtkn
authored and
jonaprieto
committed
(m) comments

AHartNtkn
authored and
jonaprieto
committed
(m) simplify

AHartNtkn
authored and
jonaprieto
committed
(m) reorganization

AHartNtkn
authored and
jonaprieto
committed
Fix issues detected by pre-commit

Anoma Research
authored and
jonaprieto
committed
fix

heindel
authored and
jonaprieto
committed
Update transactionfunction.juvix.md

heindel
authored and
jonaprieto
committed
(m)

AHartNtkn
authored and
jonaprieto
committed
Add nockma and transactionfunction to everything.juvix.md
jonaprieto
committed
Merge branch 'main' into topic-transaction-function
jonaprieto
authored

Commits on Jan 17, 2025

Commits on Jan 28, 2025

Commits on Feb 20, 2025

Merge branch 'main' into topic-transaction-function
jonaprieto
authored