Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-19 03:47:24 +03:00
Code Issues Projects Releases Wiki Activity

Inc version

Browse Source
This commit is contained in:
Victor Maia 2022-07-19 20:26:42 -03:00
parent 87bf1f6b1e
commit cde1f62a77
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.toml
View File

@ -1,6 +1,6 @@
[package]
name = "kind2"
version = "0.1.0"
version = "0.2.0"
edition = "2021"
description = "A pure functional functional language that uses the HVM."
repository = "https://github.com/Kindelia/Kind2"