A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Why do you think that https://github.com/jarble/prolog-to-minizinc is a good alternative to granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Why do you think that https://github.com/jarble/prolog-to-minizinc is a good alternative to granule