Rowan rowan · she/her, it/its
0 followers · 0 following
Repositories
26
 Projects Packages Public activity Starred repositories
rowan pushed to main at rowan/wgpu 2025-04-15 12:34:29 +02:00
2c5ac481a4 initial commit
rowan created repository rowan/wgpu 2025-04-15 12:33:46 +02:00
rowan pushed to main at rowan/untitled-game 2025-04-14 23:26:39 +02:00
7f1ea79557 wip interactable system
rowan created branch main in rowan/untitled-game 2025-04-14 20:16:20 +02:00
rowan pushed to main at rowan/untitled-game 2025-04-14 20:16:20 +02:00
778ea912f4 initial commit
rowan created repository rowan/untitled-game 2025-04-14 20:13:50 +02:00
rowan pushed to main at rowan/kojima 2025-04-13 11:45:16 +02:00
d661524857 finish refactor
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