rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
32
 Projects Packages Public activity Starred repositories
rhi pushed to main at rhi/quox 2021-11-29 14:46:22 +01:00
rhi pushed to main at rhi/quox 2021-11-27 01:30:12 +01:00
a6eb98c0ec frame for nbe stuff instead
rhi pushed to main at rhi/quox 2021-11-21 14:59:52 +01:00
fce293caa7 fix an outdated comment
37230a8032 tweak some type signatures
81fc802fa8 move SomeTerm stuff
65e45dcc79 use stdlib Elem and add note why not also stdlib OpenUnion
Compare 4 commits »
rhi pushed to main at rhi/gallery 2021-11-21 14:58:50 +01:00
27f3395774 fix margins on descriptions
rhi pushed to main at rhi/gallery 2021-10-02 23:01:13 +02:00
a8e5adb50d Add 'unlisted' key
rhi pushed to main at rhi/quox 2021-09-25 20:24:28 +02:00
2b1a043280 beginnings of typechecker, maybe
11856fa96a eval stuff
a5b07672ae renaming etc in closure stuff
eae97a7b9d reorder clauses in Subst.(.)
cdcd926347 improve error interfaces
Compare 8 commits »
rhi pushed to main at rhi/yummy.cricket 2021-09-23 08:14:24 +02:00
4bd79d88d9 do soundfile stuff on load, when the audio is ready
cabe24377a making image-set work in webkit is a bad experience
Compare 2 commits »
rhi pushed to main at rhi/gallery 2021-09-16 15:30:08 +02:00
e07e90ccd1 nicer style for categorised alts
rhi pushed to main at rhi/quox 2021-09-09 23:56:33 +02:00
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 »
rhi deleted branch haskell from rhi/quox 2021-09-03 17:57:16 +02:00
rhi pushed to main at rhi/quox 2021-09-03 17:56:31 +02:00
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 »
rhi pushed to main at rhi/quox 2021-09-03 15:01:01 +02:00
9fb4ad6657 add link to modal-mltt implementation
f592e2e3dc add parameters block a constraint
3c411aca83 replace Pretty.M with a MonadReader constraint
Compare 3 commits »
rhi pushed to main at rhi/quox 2021-09-03 13:58:32 +02:00
e1c22b664c some syntax stuff
aff0748d82 add bib
0f515252ad some syntax stuff
Compare 3 commits »
rhi pushed to ginger at rhi/gallery 2021-08-24 10:44:16 +02:00
92b198afce tweaks in Date
b8970b6436 remove BuilderQQ from Date
2485e3e234 add ToGVal instances
2d27465ffc remove the individual 18+ badges from alts
004e43f52f ensure ids are unique
Compare 21 commits »
rhi pushed to main at rhi/gallery 2021-08-24 07:40:27 +02:00
2d27465ffc remove the individual 18+ badges from alts
004e43f52f ensure ids are unique
8e5e066699 style the categories
2ccfb72b22 add support for categorised alts
Compare 4 commits »
rhi pushed to main at rhi/gallery 2021-08-23 13:17:22 +02:00
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 »
rhi pushed to main at rhi/blog 2021-07-25 14:55:11 +02:00
3f989733ee all posts page is index
76a809d931 all posts page is index
Compare 2 commits »
rhi pushed to main at rhi/blog 2021-07-25 14:54:34 +02:00
76a809d931 all posts page is index
rhi pushed to main at rhi/blog 2021-07-25 14:51:52 +02:00
533efb5a31 some style stuff in lists
54aac9c35a fix filenames in post lists
3c17aa052b use the svg-builder fix
77a53e06a5 first
rhi created repository rhi/blog 2021-07-25 14:51:43 +02:00