Rowan rowan · she/her, it/its
0 followers · 0 following
Projects Packages Public activity Starred repositories
302 contributions in the last 12 months
JulAugSepOctNovDecJanFebMarAprMayJunMonWedFri
Less
More
rowan pushed to main at rowan/kojima 2025-04-10 11:37:48 +02:00
1e09ca655f wip interfaces
rowan pushed to main at rowan/kojima 2025-04-10 06:17:41 +02:00
38343d7ec0 split monad law tests, add setoid to Option and Result
rowan pushed to main at rowan/kojima 2025-04-10 06:00:24 +02:00
48a3670172 fix tests
rowan pushed to main at rowan/kojima 2025-04-10 05:22:48 +02:00
35aa1c6ae9 move interfaces to their own file
rowan pushed to main at rowan/folktest 2025-04-10 05:08:58 +02:00
708d44f121 export terminal runner
rowan pushed to main at rowan/folktest 2025-04-10 03:52:14 +02:00
a51170fb98 rename terminal runner
rowan pushed to main at rowan/folktest 2025-04-10 03:50:44 +02:00
2599af74bb add terminal runner
rowan pushed to main at rowan/folktest 2025-04-10 01:44:43 +02:00
d9ea0f64a2 remove test code (tests for test)
rowan pushed to main at rowan/folktest 2025-04-10 01:43:41 +02:00
be1930779e add a default terminal test runner
rowan pushed to main at rowan/izuna 2025-04-09 21:51:53 +02:00
aa70427c8c fix imports
rowan pushed to main at rowan/kojima 2025-04-09 09:18:54 +02:00
96cc50ad34 move functions to own library
rowan pushed to main at rowan/izuna 2025-04-09 00:40:11 +02:00
d9daed0d09 initial commit
rowan created branch main in rowan/izuna 2025-04-09 00:40:11 +02:00
rowan created repository rowan/izuna 2025-04-09 00:39:43 +02:00
rowan pushed to main at rowan/kojima 2025-04-08 06:05:42 +02:00
f79a2ca462 free refactor
rowan pushed to main at rowan/kojima 2025-04-07 10:03:43 +02:00
55be1efee1 io wip
50f3cff3d9 List.count
Compare 2 commits »
rowan pushed to main at rowan/kojima 2025-04-07 04:03:10 +02:00
b2d5ece8f0 reader fixes
rowan pushed to main at rowan/kojima 2025-04-07 01:23:57 +02:00
1fec16c29c add reader
rowan pushed to main at rowan/kojima 2025-04-06 22:53:01 +02:00
6e2f725e7a finished list
rowan pushed to main at rowan/kojima 2025-04-06 19:50:36 +02:00
0336213ca9 wip cons list