Adam Jeniski ajet
  • New York metropolitan area
  • Clojurian. Bikes are cool

  • Joined on 2025-01-26
ajet pushed to main at ajet/mal-go 2025-11-05 06:53:15 -10:00
7e5a65e281 min-max coverage for effort (for now)
ajet pushed to main at ajet/mal-go 2025-11-05 06:43:25 -10:00
ca2485b725 sprinkle in some PBT
f816fdc912 implement read empty map
4ed27b8c0e add IsEmpty
656bd7dc27 add error for unknown chars
e906b007de add IsEmpty
Compare 5 commits »
ajet synced commits to master at ajet/.profile from mirror 2025-11-05 05:42:44 -10:00
d9e12bcaba update happenings
ajet pushed to main at ajet/mal-go 2025-11-05 04:54:04 -10:00
465c959414 strengthen constraint
ajet pushed to main at ajet/mal-go 2025-11-05 04:50:09 -10:00
ba00edc4db PBT all the things
ajet pushed to main at ajet/mal-go 2025-11-04 18:39:57 -10:00
a6f8502fbb franz newline
ajet pushed to main at ajet/mal-go 2025-11-04 18:39:10 -10:00
bfb8a2b0d8 add Cons and IListify all the things
ajet pushed to main at ajet/mal-go 2025-11-04 18:33:06 -10:00
d573528f3b update IColl asbstractions
ajet pushed to main at ajet/mal-go 2025-11-04 18:11:27 -10:00
0c9e3aa20b fix assert comment
ajet pushed to main at ajet/mal-go 2025-11-04 18:06:20 -10:00
72da3ec820 add assert comments
ajet pushed to main at ajet/mal-go 2025-11-04 17:51:10 -10:00
df56597332 rename test
ajet pushed to main at ajet/mal-go 2025-11-04 17:50:33 -10:00
4deba4be78 clean up
ajet pushed to main at ajet/mal-go 2025-11-04 17:37:56 -10:00
b7b7f79559 golf coverage
ajet pushed to main at ajet/mal-go 2025-11-04 17:36:20 -10:00
6155074b77 never go full pbt ;)
ajet pushed to main at ajet/mal-go 2025-11-04 17:23:55 -10:00
8dd6fd958d remove unused func
ajet pushed to main at ajet/mal-go 2025-11-04 17:21:54 -10:00
3b4c206003 generate empty lists
ajet pushed to main at ajet/mal-go 2025-11-04 17:19:47 -10:00
cfbddb3f39 test First()
ajet pushed to main at ajet/mal-go 2025-11-04 17:17:03 -10:00
f5f7691de0 try PBT with coverage #2
ajet pushed to main at ajet/mal-go 2025-11-04 15:16:52 -10:00
b9b88d8fa0 remove unreacahble code
ajet pushed to main at ajet/mal-go 2025-11-04 15:14:51 -10:00