Isabelle/HOL: correctly translate named patterns - Githubissues

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: correctly translate named patterns #2895

Closed lukaszcz closed 2 months ago

lukaszcz commented 4 months ago

Depends on https://github.com/anoma/juvix/pull/2868/