- Joined on Jun 10, 2020
-
7bafaf67cf pair stuff
-
6073ab4705 replace Split stuff with bools
-
f0f49d9abf ScopeTerms that can bind multiple vars
-
92617a2e4a whnf actually reduces to whnf now (probably)
-
f097e1c091 start of equality type stuff
- Compare 8 commits »
1 week ago
rhi pushed to jxl at rhi/gallery
-
84f822f73b <picture> elements for jxls
-
0f20753808 generate jxl from png,jpg,gif
-
76ccbe3c7d styles for chatlogs etc
- Compare 3 commits »
2 weeks ago
-
b25e5320d9 some more properties of var
-
ef8b8b0da3 index Var.Compare by compare
-
f405aeb7f9 simplify some matches
-
82795e9976 remove IsOne stuff; add timesSubj
-
28055c0f39 add Decidable-related stuff
- Compare 15 commits »
3 weeks ago
rhi pushed to 🎨 at rhi/gallery
-
c7d51685be update to ghc 9.2.5
-
cd8c51097c new buttons and tweaked bg gradients
-
88b81681cb fix pages without a skipAll
-
bd0fe2983f fix copying widget images etc
- Compare 4 commits »
1 month ago
rhi pushed to 🌐 at rhi/yummy.cricket
-
8d23f7646d anything normal? no ❤
-
fa3c298eda update links
- Compare 2 commits »
1 month ago
rhi pushed to main at rhi/bqn-ibus
-
f36e45e457 add ⇒ (\|) and ⦂ (\Y)
-
2b4bd8d19e mention \7 dying and the layout assumption
- Compare 2 commits »
1 month ago
rhi commented on issue rhi/gallery#11
button to skip all warnings on a page*probably* fixed in ccb4c2e, unless bugs
1 month ago
rhi commented on issue rhi/gallery#12
use big previews when possiblefixed as well as i can in 3c04976d1a
1 month ago
rhi pushed to 🎨 at rhi/gallery
-
1e7a58359d make default cw less cryptic
-
3c04976d1a large previews for some sites
- Compare 2 commits »
1 month ago
rhi pushed to 🎄 at rhi/aoc2022
-
bf96f6d15f more abandonments
-
84a9494a7d debug actually affects the speed a lot..!
-
448a9c41c0 day12 🎉
- Compare 3 commits »
1 month ago
rhi pushed to 🎄 at rhi/aoc2022
-
442b930c41 day21
-
39c89ada3d bqn poking
- Compare 2 commits »
1 month ago