Extend the Juvix-to-Isabelle translation with pure functions

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

Open lukaszcz opened 3 weeks ago

lukaszcz commented 3 weeks ago

Translate function bodies, not only types. Needed for Anoma documentation.