search

anoma / juvix

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

Isabelle/HOL translation: don't use unicode for Isabelle symbols #2942

Closed lukaszcz closed 3 months ago

lukaszcz commented 3 months ago

Apparently, they create problems. Use \<name> instead.