Rowan rowan · she/her, it/its
0 followers · 0 following
Projects Packages Public activity Starred repositories
249 contributions in the last 12 months
JunJulAugSepOctNovDecJanFebMarAprMayMonWedFri
Less
More
rowan pushed to main at rowan/kojima 2025-04-13 11:40:58 +02:00
17a10b92f2 finish refactor
rowan pushed to main at rowan/kojima 2025-04-13 11:31:33 +02:00
5d7d810d8d update free/list
rowan pushed to main at rowan/kojima 2025-04-12 09:28:21 +02:00
cafa3a8fa7 change type ref pattern; update type signatures
rowan pushed to main at rowan/kojima 2025-04-12 01:16:05 +02:00
19f02031b0 wip method typing
rowan pushed to main at rowan/kojima 2025-04-11 23:37:10 +02:00
619f24c7dc add reduce derivation; add reduce to Free; fix traverse
rowan pushed to main at rowan/kojima 2025-04-11 11:03:12 +02:00
cf3fe66f73 types & free reduce
rowan pushed to main at rowan/kojima 2025-04-11 07:36:45 +02:00
853601f2c5 wip types
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 created branch main in rowan/izuna 2025-04-09 00:40:11 +02:00
rowan pushed to main at rowan/izuna 2025-04-09 00:40:11 +02:00
d9daed0d09 initial commit