ii8 / juvix Goto Github PK
View Code? Open in Web Editor NEWThis project forked from anoma/juvix
An experimental programming language created by Heliax as a first step toward creating more robust and reliable alternatives for formally verified smart contracts than existing languages.
Home Page: https://juvix.org
License: GNU General Public License v3.0