mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
Fix ann checker
This commit is contained in:
parent
751c74f658
commit
0db022773c
@ -1,6 +1,6 @@
|
||||
[package]
|
||||
name = "kind2"
|
||||
version = "0.2.68"
|
||||
version = "0.2.69"
|
||||
edition = "2021"
|
||||
description = "A pure functional functional language that uses the HVM."
|
||||
repository = "https://github.com/Kindelia/Kind2"
|
||||
|
975
src/checker.hvm
975
src/checker.hvm
File diff suppressed because it is too large
Load Diff
Loading…
Reference in New Issue
Block a user