rhi - rhi's bad code

rhi

Joined on Jun 10, 2020

Loading Heatmap…

rhi pushed to main at rhi/gallery

e07e90ccd1 nicer style for categorised alts

6 days ago

rhi pushed to main at rhi/quox

4da8aa6031 start of eval module but not really
e0bf8fa795 add context stuff
3f11530336 rename isCloX to topCloX
4a2f7e1497 add CanSubst Var (Term/Elim)
8c675d01d5 make (//) lazier
Compare 10 commits »

1 week ago

rhi deleted branch haskell from rhi/quox

2 weeks ago

rhi pushed to main at rhi/quox

5baade8dd5 Many => Any
6da33625f8 remove an (.int). no one likes ints
6c05a348d5 formatting fixes & tweaks
d41ab0897c remove some public exports that probably aren't needed
06e5c09896 remove old file i forgot about
Compare 8 commits »

2 weeks ago

rhi pushed to main at rhi/quox

9fb4ad6657 add link to modal-mltt implementation
f592e2e3dc add parameters block a constraint
3c411aca83 replace Pretty.M with a MonadReader constraint
Compare 3 commits »

2 weeks ago

rhi pushed to main at rhi/quox

e1c22b664c some syntax stuff
aff0748d82 add bib
0f515252ad some syntax stuff
Compare 3 commits »

2 weeks ago

rhi pushed to ginger at rhi/gallery

92b198afce tweaks in Date
b8970b6436 remove BuilderQQ from Date
2485e3e234 add ToGVal instances
2d27465ffc remove the individual 18+ badges from alts with the badge on the gallery, and the 'are you an adult?' popup, and the cw before showing the image, they're probably unnecessary and they add a lot of clutter
004e43f52f ensure ids are unique
Compare 21 commits »

4 weeks ago

rhi pushed to main at rhi/gallery

2d27465ffc remove the individual 18+ badges from alts with the badge on the gallery, and the 'are you an adult?' popup, and the cw before showing the image, they're probably unnecessary and they add a lot of clutter
004e43f52f ensure ids are unique
8e5e066699 style the categories
2ccfb72b22 add support for categorised alts
Compare 4 commits »

4 weeks ago

rhi pushed to main at rhi/gallery

e47b790242 check fragment is the right form before using it as filters
47fff05d48 fix gap on index page
223c784f64 add .floating.left
3b076315bb ignore hasktags
bf381cba7a add default warning for nsfw stuff
Compare 5 commits »

1 month ago

rhi pushed to main at rhi/blog

3f989733ee all posts page is index
76a809d931 all posts page is index
Compare 2 commits »

1 month ago

rhi pushed to main at rhi/blog

76a809d931 all posts page is index

1 month ago

rhi pushed to main at rhi/blog

533efb5a31 some style stuff in lists
54aac9c35a fix filenames in post lists
3c17aa052b use the svg-builder fix
77a53e06a5 first

1 month ago

rhi created repository rhi/blog

1 month ago

rhi pushed to main at rhi/quox

0f515252ad some syntax stuff

2 months ago

rhi pushed to main at rhi/agda-prelude

ed0a773c2f First

2 months ago

rhi created repository rhi/agda-prelude

2 months ago

rhi pushed to main at rhi/quox

d4ad899b2e first
c988692987 wip type stuff
a3f18af38d fix comment typo
1c27962cdf rename qty stuff
2bfa05b873 export substT' & substE'
Compare 14 commits »

2 months ago

rhi pushed to haskell at rhi/quox

2 months ago

rhi pushed to main at rhi/quox

c988692987 wip type stuff
a3f18af38d fix comment typo
1c27962cdf rename qty stuff
2bfa05b873 export substT' & substE'
1b99c3d0a7 fix substExtEq
Compare 6 commits »

2 months ago

rhi pushed to main at rhi/quox

6519302724 fix + extend subst tests
2656336b23 Π needs two quantities
Compare 2 commits »

2 months ago