rhi
0 Followers · 0 Following
  • Joined on 2020-06-10
Repositories
23
 Projects Packages Public Activity Starred Repositories
rhi pushed to 🐉 at rhi/quox 2023-12-04 12:48:43 -05:00
59e7a457a6 let case be the head of an application too
4291afd51b allow fst/snd to take multiple arguments
Compare 2 commits »
rhi closed issue rhi/quox#34 2023-12-04 12:48:43 -05:00
allow "fst e"/"snd e" as an application head
rhi pushed to let at rhi/quox 2023-12-04 12:48:29 -05:00
154addaa00 add `let` to frontend syntax
rhi created pull request rhi/quox#35 2023-12-04 12:30:56 -05:00
allow fst, snd, case to be application heads
rhi created branch heads in rhi/quox 2023-12-04 12:30:04 -05:00
rhi pushed to heads at rhi/quox 2023-12-04 12:30:04 -05:00
rhi pushed to let at rhi/quox 2023-12-04 12:29:07 -05:00
59e7a457a6 let case be the head of an application too
4291afd51b allow fst/snd to take multiple arguments
Compare 2 commits »
rhi created branch let in rhi/quox 2023-12-04 12:29:07 -05:00
rhi commented on issue rhi/quox#34 2023-12-04 10:46:04 -05:00
allow "fst e"/"snd e" as an application head

actually make case an app head too. it's }-terminated, so why not

rhi opened issue rhi/quox#34 2023-12-03 16:13:57 -05:00
allow "fst e"/"snd e" as an application head
rhi pushed to 🎄 at rhi/aoc2023 2023-12-02 12:53:07 -05:00
43743266a1 ya hear about these macro things
rhi pushed to 🎄 at rhi/aoc2023 2023-12-02 08:21:04 -05:00
4ebdb400b0 day 2 scheme
87ec03ee5e some fixes oops
Compare 2 commits »
rhi pushed to 🎄 at rhi/aoc2023 2023-12-01 12:53:50 -05:00
f9acd13292 first
rhi created branch 🎄 in rhi/aoc2023 2023-12-01 12:53:50 -05:00
rhi created repository rhi/aoc2023 2023-12-01 12:53:17 -05:00
rhi pushed to main at rhi/misc 2023-11-22 23:45:40 -05:00
dc0081be69 can try multiple formats per site
36a3338ff2 add --subdirs
4242dfe096 MAIN can't actually take IO arguments
4093b1ceda add gallery site stuff
Compare 4 commits »
rhi opened issue rhi/quox#33 2023-11-22 15:50:55 -05:00
algebraic ornaments
rhi closed pull request rhi/quox#25 2023-11-16 15:21:11 -05:00
WIP: 𝕎
rhi commented on pull request rhi/quox#25 2023-11-16 15:21:11 -05:00
WIP: 𝕎

when i retry this it will be from scratch

rhi pushed to 🐉 at rhi/quox 2023-11-16 12:33:16 -05:00
e2ad18ff1f hello.quox tweaks
310822ffa5 remove old replaced stuff
Compare 2 commits »