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

Builtin axioms should have a different face (color) than non-builtin axioms #2800

Closed janmasrovira closed 2 weeks ago

janmasrovira commented 4 weeks ago

The issue is that builtin axioms are coloured red and this looks like an error when using (for example) anomaSign etc.

Suggestion: Add a pragma to hint the category of the builtin axioms.