search

anoma / juvix

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

Isabelle/HOL translation: fix undefined identifiers due to `syntax alias` #3050

Open lukaszcz opened 1 week ago

lukaszcz commented 1 week ago