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

Make `Maybe` a builtin inductive type #2860

Closed paulcadman closed 4 days ago

paulcadman commented 4 days ago

This is required as the return type of the builtin anomaVerifyWithMessage axiom.

Part of: