25 Commits

Author SHA1 Message Date
0324724fb7 assertTrue > assertEqual(true,...)
Go / test (push) Successful in 5s
2025-11-06 11:15:15 -10:00
465c959414 strengthen constraint
Go / test (push) Successful in 4s
2025-11-05 04:54:02 -10:00
ba00edc4db PBT all the things
Go / test (push) Successful in 5s
2025-11-05 04:50:07 -10:00
a6f8502fbb franz newline
Go / test (push) Successful in 3s
2025-11-04 18:39:55 -10:00
bfb8a2b0d8 add Cons and IListify all the things
Go / test (push) Successful in 3s
2025-11-04 18:39:07 -10:00
d573528f3b update IColl asbstractions
Go / test (push) Successful in 4s
2025-11-04 18:33:05 -10:00
0c9e3aa20b fix assert comment
Go / test (push) Successful in 3s
2025-11-04 18:11:25 -10:00
72da3ec820 add assert comments
Go / test (push) Successful in 3s
2025-11-04 18:06:17 -10:00
df56597332 rename test
Go / test (push) Successful in 3s
2025-11-04 17:51:07 -10:00
4deba4be78 clean up
Go / test (push) Successful in 3s
2025-11-04 17:50:32 -10:00
b7b7f79559 golf coverage
Go / test (push) Successful in 3s
2025-11-04 17:37:53 -10:00
6155074b77 never go full pbt ;)
Go / test (push) Successful in 3s
2025-11-04 17:36:18 -10:00
8dd6fd958d remove unused func
Go / test (push) Successful in 4s
2025-11-04 17:23:54 -10:00
3b4c206003 generate empty lists
Go / test (push) Successful in 3s
2025-11-04 17:21:52 -10:00
cfbddb3f39 test First()
Go / test (push) Successful in 4s
2025-11-04 17:19:45 -10:00
f5f7691de0 try PBT with coverage #2
Go / test (push) Successful in 3s
2025-11-04 17:17:00 -10:00
b9b88d8fa0 remove unreacahble code
Go / test (push) Successful in 4s
2025-11-04 15:16:50 -10:00
5ac5acd6d1 get rid of extra module level funcs
Go / test (push) Successful in 3s
2025-11-04 15:08:32 -10:00
413ab23904 add PBT for list len
Go / test (push) Successful in 11s
2025-11-04 14:58:08 -10:00
c044f452b5 add PBT infra 2025-11-04 14:50:47 -10:00
db1bd5f322 bring back empty() vs new(val)
Go / test (push) Successful in 10s
2025-11-04 13:03:00 -10:00
4e1cbce3a7 start the tower of abstractions
Go / test (push) Failing after 28s
2025-11-04 12:25:23 -10:00
d3997bfb53 support non-nil empty list
Go / test (push) Successful in 2s
2025-11-04 11:50:38 -10:00
5200dfde00 init reader for lists 2025-11-04 07:04:49 -10:00
143b17a6c1 init commit 2025-11-01 15:01:22 -09:00