rhi
0 Followers · 0 Following
  • Joined on 2020-06-10
Repositories
22
 Projects Packages Public Activity Starred Repositories
rhi pushed to main at rhi/svg-builder 2023-12-23 12:27:18 -05:00
39bb6a4e04 update for ghc 9.4.7
rhi pushed to 🐉 at rhi/quox 2023-12-21 12:05:04 -05:00
a14c4ca1cb never inline let bindings from the original source
b7074720ad pretty printing fixes
48a050491c fix several quantity issues
aa4ead592a allow "let x : A = e in s" with type annotation
54db7e27ef make #[fail] run in the current namespace
Compare 8 commits »
rhi opened issue rhi/quox#38 2023-12-20 16:03:25 -05:00
type checker loop
rhi pushed to 🎄 at rhi/aoc2023 2023-12-19 20:09:28 -05:00
7cc66789ab more, mostly quox "stdlib" (if you could call it that) tho
rhi pushed to 🎄 at rhi/aoc2023 2023-12-19 20:08:58 -05:00
46f62933b1 more
e9d05e1042 day14 slow
460a9a2fbf day12.2 is still too hungy
Compare 3 commits »
rhi pushed to 🎄 at rhi/aoc2023 2023-12-12 14:37:11 -05:00
aa36cbfd63 more
rhi opened issue rhi/quox#37 2023-12-10 14:02:11 -05:00
check the #[main] function is the write type
rhi pushed to 🎄 at rhi/aoc2023 2023-12-09 17:25:45 -05:00
b7f54594fb day5.1
2bb7e9d5cd day9
507cdc8891 more
Compare 3 commits »
rhi pushed to 🎄 at rhi/aoc2023 2023-12-08 14:02:07 -05:00
f0ee8610e9 day8
rhi pushed to 🎄 at rhi/aoc2023 2023-12-08 14:01:52 -05:00
3cfb61137d day8
rhi pushed to 🎄 at rhi/aoc2023 2023-12-08 14:00:07 -05:00
bc2324a6f6 day8
rhi pushed to 🎄 at rhi/aoc2023 2023-12-07 14:18:12 -05:00
c7558e0ed8 more poking
rhi pushed to 🎄 at rhi/aoc2023 2023-12-07 13:41:10 -05:00
8d1ac2291e oops
rhi pushed to 🎄 at rhi/aoc2023 2023-12-07 13:40:10 -05:00
ed05bffe65 day7.2
d8d4346d39 day7.1
Compare 2 commits »
rhi pushed to 🎄 at rhi/aoc2023 2023-12-06 21:47:27 -05:00
6b8818376b i gotta clean this up lol
rhi commented on issue rhi/quox#21 2023-12-05 06:37:34 -05:00
((((A ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) ∷ ★⁰) (add a cleanup step before pretty printing)

also β redexes, e.g. (λ _ ⇒ Bool) Nat in types of eliminators

rhi deleted branch let from rhi/quox 2023-12-04 17:41:11 -05:00
rhi merged pull request rhi/quox#36 2023-12-04 17:41:07 -05:00
let
rhi pushed to 🐉 at rhi/quox 2023-12-04 17:41:07 -05:00
cdf1ec6deb fix a comment
08a8c694b1 a usage in hello.quox. why not
8b8129027d update syntax.ebnf
e48f03a61c multiple semi-sep binds in a let
415a823dec comment out an unfinished definition lmao
Compare 7 commits »
rhi pushed to let at rhi/quox 2023-12-04 17:38:20 -05:00
cdf1ec6deb fix a comment