Repositories
20
 Projects Packages Public Activity Starred Repositories
msyds pushed to main at msyds/gyehoek-hs 2026-08-19 00:11:47 -06:00
9b6da5cbe0 enable some working tests
ca1b53f3d1 fix catching of exceptions in tests
eb51f4fff7 call/cc
8bdbfafb9c fix some warnings
Compare 4 commits »
msyds deleted branch stack from msyds/gyehoek-hs 2026-08-18 20:40:53 -06:00
msyds pushed to main at msyds/gyehoek-hs 2026-08-18 20:40:11 -06:00
6949ff7fdf convert (limited) letrec
a73b3ed89b correctly handle push-calls!!!!!!!!
1c13de4153 more stackification
d91e059a84 wip: stackify
c4bcf38374 factorial
Compare 6 commits »
msyds pushed to stack at msyds/gyehoek-hs 2026-08-18 20:38:26 -06:00
6949ff7fdf convert (limited) letrec
msyds pushed to stack at msyds/gyehoek-hs 2026-08-18 19:25:29 -06:00
a73b3ed89b correctly handle push-calls!!!!!!!!
msyds pushed to stack at msyds/gyehoek-hs 2026-08-18 16:13:47 -06:00
1c13de4153 more stackification
msyds pushed to stack at msyds/gyehoek-hs 2026-08-18 16:06:14 -06:00
10d449a0b5 more stackification
msyds pushed to stack at msyds/gyehoek-hs 2026-08-18 02:27:05 -06:00
d91e059a84 wip: stackify
msyds pushed to stack at msyds/gyehoek-hs 2026-08-17 23:44:45 -06:00
c4bcf38374 factorial
msyds pushed to stack at msyds/gyehoek-hs 2026-08-17 22:31:51 -06:00
745277ed1a wip: abstract stack/continuation machine
msyds pushed to stack at msyds/gyehoek-hs 2026-08-17 22:09:30 -06:00
15d106f921
fa4010beb9
Compare 2 commits »
msyds pushed to stack at msyds/gyehoek-hs 2026-08-17 21:07:03 -06:00
6b723cf91e
ea370270f6
fa9621542a
9ed9100373
f4b891f241
Compare 6 commits »
msyds created branch stack in msyds/gyehoek-hs 2026-08-17 21:07:03 -06:00
msyds pushed to rust at msyds/wiktlarp-tf2 2026-08-16 17:01:01 -06:00
793e2deae8 idk push for pais
msyds pushed to rust at msyds/wiktlarp-tf2 2026-08-16 16:49:57 -06:00
47f213b9bc idk push for pais
ab77858eda gitea action
1b329c6432 one assert per test
Compare 3 commits »
msyds pushed to rust at msyds/wiktlarp-tf2 2026-08-16 01:22:35 -06:00
7379cffc03 nix
msyds pushed to rust at msyds/wiktlarp-tf2 2026-08-16 01:19:10 -06:00
6a864e1e89 rust
msyds pushed to rust at msyds/wiktlarp-tf2 2026-08-16 01:17:17 -06:00
dea4a55456 rust
f4a413c362 idk
Compare 2 commits »
msyds created branch rust in msyds/wiktlarp-tf2 2026-08-16 01:17:17 -06:00
msyds pushed to main at msyds/wiktlarp-tf2 2026-08-16 01:14:18 -06:00
f0dc882945 wiktlarp