rhi
0 Followers · 0 Following
  • Joined on 2020-06-10
Repositories
22
 Projects Packages Public Activity Starred Repositories
rhi pushed to let at rhi/quox 2023-12-04 17:36:32 -05:00
08a8c694b1 a usage in hello.quox. why not
rhi pushed to let at rhi/quox 2023-12-04 17:35:57 -05:00
8b8129027d update syntax.ebnf
rhi pushed to let at rhi/quox 2023-12-04 17:32:01 -05:00
e48f03a61c multiple semi-sep binds in a let
415a823dec comment out an unfinished definition lmao
Compare 2 commits »
rhi pushed to let at rhi/quox 2023-12-04 16:47:59 -05:00
b1699ce022 add let to the core
rhi pushed to let at rhi/quox 2023-12-04 12:56:49 -05:00
68d8019f00 add `let` to frontend syntax
rhi created pull request rhi/quox#36 2023-12-04 12:49:24 -05:00
WIP: let
rhi deleted branch heads from rhi/quox 2023-12-04 12:48:47 -05:00
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 merged pull request rhi/quox#35 2023-12-04 12:48:43 -05:00
allow fst, snd, case to be application heads
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 created branch let in rhi/quox 2023-12-04 12:29:07 -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 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 »