A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Why do you think that https://github.com/zalo/CascadeStudio is a good alternative to Kind
A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]
Why do you think that https://github.com/zalo/CascadeStudio is a good alternative to Kind