HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-09-11 08:45:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Consider reductions of function before InvalidCall error

Browse Source
This commit is contained in:
Victor Maia 2022-09-04 21:48:44 -03:00
parent bfa613ea5a
commit 3ff86299a1
2 changed files with 553 additions and 543 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.2.71"
version = "0.2.72"
edition = "2021"
description = "A pure functional functional language that uses the HVM."
repository = "https://github.com/Kindelia/Kind2"

1094
src/checker.hvm
View File

File diff suppressed because it is too large Load Diff