HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-07 10:06:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
144 Commits 3 Branches 0 Tags 57 MiB
master
Commit Graph

144 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Derenash
1336cd89a0 add comment to testBBT 2024-02-21 12:14:16 -03:00
Derenash
658bade510 Update BBT tests file 2024-02-21 12:12:11 -03:00
Derenash
627cc96777 Add commented version of BBT maps to String and U60 2024-02-21 12:11:42 -03:00
Derenash
0e97867813 add Cmp files for String and U60 2024-02-21 12:10:56 -03:00
Derenash
7124036c94 Update comments on BBT files 2024-02-21 12:10:30 -03:00
Victor Taelin
37fb440ea9 split files and add OBLITERATE 2024-02-20 19:23:15 -03:00
Derenash
aa3de2bf64 renamed testBBT function 2024-02-20 18:18:24 -03:00
Derenash
5898cf5e70 renamed testBBT 2024-02-20 17:09:22 -03:00
Derenash
95e65c55a6 BBT updates 2024-02-20 17:08:37 -03:00
Victor Taelin
9c1a3f16a0 checkpoint 2024-02-20 16:50:19 -03:00
Derenash
c6be73b582 Merge branch 'master' of https://github.com/Derenash/kind2.0 2024-02-20 14:58:08 -03:00
Derenash
6bf27d1d22 small improvements to BBT 2024-02-20 14:55:49 -03:00
Derenash
cb515a8cb1 Add working BBT, still optimizing it 2024-02-20 13:32:14 -03:00
Victor Taelin
8b16d0751f i dont remember 2024-02-20 01:11:21 -03:00
Victor Taelin
2033189215 Kind.mat 2024-02-19 20:10:38 -03:00
Victor Taelin
1aa7559d97 kind2 parses Bool.kind2 2024-02-19 17:10:00 -03:00
Victor Taelin
2ce6e5bfe1 update 2024-02-19 15:38:28 -03:00
Victor Taelin
9a7a3aa1aa add missing files 2024-02-19 15:27:32 -03:00
Victor Taelin
7c09ed7b4e recent 2024-02-19 15:16:21 -03:00
Victor Taelin
cc8e109571 skip comments 2024-02-19 12:37:51 -03:00
Victor Taelin
bcb53dcf39 parser stuff 2024-02-18 18:55:09 -03:00
Victor Taelin
231b7885cd alignments 2024-02-13 15:32:11 -03:00
Victor Taelin
b35e7e14cd several additional parsers 2024-02-13 15:30:53 -03:00
Victor Taelin
f2b86bd3e8 Kind2 parser WIP 2024-02-12 22:39:06 -03:00
Victor Taelin
ee703523cd add several functions to book 2024-02-12 20:15:50 -03:00
Victor Taelin
534ff0dec2 bootstrap stringifier / compiler 2024-02-12 17:18:29 -03:00
Victor Taelin
22a699eb38 kind2 initial bootstrap 2024-02-11 20:14:37 -03:00
Victor Taelin
9e09d6f845 more functions 
this is temporarily becoming a behemoth, but that is fine - the goal is
to first complete the bootstrap, and then add more features, which can
then be used to decrease the size of the implementation.
 2024-02-10 23:15:08 -03:00
Victor Taelin
bda6304856 faster, better equality; 1.6m to 160k rewrites on Kind.Show 2024-02-10 18:34:04 -03:00
Victor Taelin
db769b7abc kind2 bootstrap - initial term and stringifier 2024-02-10 12:25:48 -03:00
Victor Taelin
6b764e9522 tmp 2024-02-10 09:57:13 -03:00
Victor Taelin
b9683c424d remove eta expansion comment 2024-02-08 20:14:37 -03:00
Victor Taelin
bfced71efc fix missing reduce call 2024-02-08 20:14:11 -03:00
Victor Taelin
9c5ecdeb16 add usage notes 2024-02-08 20:04:56 -03:00
Victor Taelin
c4c909994d add bft proof 2024-02-08 20:01:37 -03:00
Victor Taelin
f872b10909 first kind2 proof 2024-02-08 19:31:48 -03:00
Victor Taelin
95f6518b81 fix reduce, add equal 2024-02-08 19:01:46 -03:00
Victor Taelin
7381d03062 updates 2024-02-08 17:49:33 -03:00
Victor Taelin
755e72a558 updates 2024-02-08 15:47:43 -03:00
Victor Taelin
88b44e0fff Kind2 notice 2024-02-08 14:56:16 -03:00
Victor Taelin
8a56e1878f rename 2024-02-08 13:47:38 -03:00
Victor Taelin
472bfb2830 use hvm1, working examples 2024-02-08 13:41:08 -03:00
Victor Taelin
1230367fc4 add logger 2024-02-07 11:49:21 -03:00
Victor Taelin
0007b95d39 add cli 2024-02-07 11:28:18 -03:00