306 Commits

Author SHA1 Message Date
32b48b79d0 formatting 2025-02-01 00:18:17 -06:00
e5285e5c8f quickcheck class implementations done 2025-01-31 23:50:07 -06:00
125f137643 trying things... 2025-01-31 18:43:15 -06:00
b3e1b96ff5 move/rename 2025-01-31 18:35:39 -06:00
f484da2308 more quickcheck learning, just gonna go for it now 2025-01-31 18:34:31 -06:00
6c4c84e7dc Merge branch 'vectors_code' into learn_quickcheck
merge vectors_code into learn_quickcheck
2025-01-31 17:12:39 -06:00
dc9e9fdb19 calculus -> all propeller instructions 2025-01-31 15:52:53 -06:00
1d56143712 comment cleanup 2025-01-31 15:49:06 -06:00
d10df10351 make int instructions generic 2025-01-31 15:42:49 -06:00
5436914f41 move plushy mention 2025-01-31 03:15:34 -06:00
df4b4287b0 Merge branch 'vectors_code' of c57keqcdj43nn2xukakrqm2wwx255et7oyuktopk5fpopzzg54thkjid.onion:evo-trading/HushGP into vectors_code
Merge in todo files
2025-01-31 03:13:50 -06:00
68cc4fc2d1 comment for Plushy later 2025-01-31 03:12:20 -06:00
8be1431458 comments 2025-01-31 03:10:39 -06:00
8d01d9a208 burned out of quick check for today, more later 2025-01-30 20:59:36 -06:00
c3dbe2b28b Add sorting a vector 2025-01-30 15:22:16 -06:00
173c689000 Add TODO.md 2025-01-30 15:01:36 -06:00
fa2b16443f fix index & Lens name confliction 2025-01-30 13:27:09 -06:00
fe70af6e28 comments 2025-01-30 02:44:34 -06:00
63e9cff55e finish up the instructions 2025-01-29 23:43:05 -06:00
206a3217d9 need to redo this, this isn't working. Thinking quickCheck 2025-01-29 16:35:40 -06:00
d7a2a4a6a6 add more instructions 2025-01-29 16:35:22 -06:00
cef9c92b56 more instructions, gonna rework the unit testing framework 2025-01-29 16:35:05 -06:00
53d62f31c7 add instructions to re export 2025-01-29 14:50:42 -06:00
0c9538e2f2 delete learnlens 2025-01-29 14:50:05 -06:00
048b7fc9fb re export into one module 2025-01-29 14:49:16 -06:00
67d6125f03 finish the iterate function 2025-01-29 01:45:42 -06:00
04d54c12a5 move some interpretExec functions 2025-01-29 01:44:23 -06:00
a53611230e float instructions 2025-01-29 01:43:59 -06:00
34a0afb242 generic vector instructions done 2025-01-28 23:47:37 -06:00
74d95c26aa everything to VectorDatatype 2025-01-28 23:11:23 -06:00
60f71bef07 forgot to delete some comments 2025-01-28 22:10:14 -06:00
363425b39b a lot of genericization and updates 2025-01-28 22:09:30 -06:00
035a7a2f10 add problem to readme 2025-01-27 15:59:20 -06:00
ef5ce0aaf0 formatting 2025-01-27 12:57:23 -06:00
7e7735ae95 switch Int and Vector 2025-01-27 12:20:23 -06:00
89287ceaed uncons to stop warnings 2025-01-27 12:19:54 -06:00
c9923eae02 I'm gonna make these tests states soon 2025-01-27 12:17:40 -06:00
7c9cdb8ed8 cleaning these up, still have work to do 2025-01-26 20:05:05 -06:00
2dd054f17e I should really run make format... 2025-01-26 01:18:23 -06:00
9e50c71ec7 start of vectorint, bed time 2025-01-26 01:17:56 -06:00
f613837ddf generalization/ more instructions/ etc 2025-01-25 22:58:23 -06:00
0a6a1fc0cb button of string and char tests 2025-01-25 22:57:20 -06:00
a55a66f456 more string functions, need a break 2025-01-25 19:09:29 -06:00
804da2a23c takeR and dropR 2025-01-25 19:09:10 -06:00
82d2fa34fe I love testing strings, still have more to do 2025-01-25 19:08:49 -06:00
e3cf1d2121 need to write tests 2025-01-25 01:50:14 -06:00
c17e0df4da one basic char instruction 2025-01-25 00:16:08 -06:00
4ad47b5308 Need to complete add MANY MORE of these lol 2025-01-25 00:15:49 -06:00
78efab9064 more string instructions 2025-01-25 00:15:19 -06:00
35f8a20a91 I'm proud of these generic instructions 2025-01-25 00:14:37 -06:00