Isabelle/HOL translation: fix creation of polymorphic records

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

Open lukaszcz opened 2 months ago

lukaszcz commented 2 months ago

Creation of polymorphic records was not translated correctly, with the types appearing as arguments instead of the values.
Depends on #3050