Kind/.gitignore

/target
.tmp/
.kind21/
plans.txt
.check.hvm1
.check.hvm2
demo/
.fill.tmp
.check.hs
guide.txt
.hvm
.hvm/
initial port from ts to rust 2024-02-24 04:17:45 +03:00			`/target`
			`.tmp/`
			`.kind21/`
reorganize repo, split files 2024-03-01 20:28:42 +03:00			`plans.txt`
			`.check.hvm1`
Add Kind2.hvm2 and cli for choosing the runtime 2024-03-14 14:01:40 +03:00			`.check.hvm2`
reorganize repo, split files 2024-03-01 20:28:42 +03:00			`demo/`
auto formatter 2024-03-02 02:40:31 +03:00			`.fill.tmp`
missing files? 2024-03-08 00:08:04 +03:00			`.check.hs`
fix equalSimilar not following described algo 2024-03-14 16:31:04 +03:00			`guide.txt`
implicits args and stuff 2024-03-16 00:51:25 +03:00			`.hvm`
first kind2-hvm2 program run! sum-tree via fold 2024-03-16 05:06:44 +03:00			`.hvm/`