search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Adapt Anoma builtins to new Anoma Node API #2861

Open paulcadman opened 4 days ago

paulcadman commented 4 days ago

This PR:

  1. Renames the anoma-verify builtin to anoma-verify-with-message and updates its type to:
builtin anoma-verify-with-message
axiom anomaVerifyWithMessage : {A : Type}
  -> Nat
  -> Nat
  -> Maybe A;
  1. Declares builtin Maybe for use in jvc files.
  2. Updates the implementation of anoma-verify in the Core evaluator and in the nockma backend to use the new type.

The new Anoma verify API is available in: