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

Reimplement positivity checker #3057

Closed janmasrovira closed 7 hours ago

janmasrovira commented 1 week ago

Due to #3071 I had to change the order of two lines in tests/Compilation/positive/test079.juvix.