rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
32
 Projects Packages Public activity Starred repositories
rhi pushed to main at rhi/gallery 2022-01-05 16:10:26 +01:00
df0190c950 fix #all
rhi pushed to main at rhi/gallery 2022-01-04 20:13:39 +01:00
e1718bb861 format long desc as a dl in rss
a301efa521 put artist before desc in rss
ca53ab5b8e use latest date in rss
585706f1c5 add mostlyclean target
Compare 4 commits »
rhi pushed to main at rhi/idris2-vim 2022-01-04 16:34:43 +01:00
f248ccb909 add 'proof' keyword
rhi pushed to main at rhi/idris2-vim 2022-01-03 23:02:49 +01:00
5a42b26e80 add %search
6b8e2c8d3e else if → elseif
1e64a7bd2c set more scratch props for idris-response
9725d2273e add \> after %keywords
01ae8cf8e4 remove duplicate %defaulthint
Compare 13 commits »
rhi pushed to main at rhi/idris2-vim 2022-01-03 22:46:08 +01:00
4d243b87b4 add %search
rhi pushed to main at rhi/gallery 2022-01-03 20:46:00 +01:00
5c2a50760a messing with the nsfw warning
rhi pushed to main at rhi/gallery 2022-01-03 17:41:34 +01:00
9d45b520e7 make alt category names less squished
rhi pushed to main at rhi/idris2-vim 2022-01-03 15:10:00 +01:00
71846c1aba else if → elseif
92ccbcd7ba set more scratch props for idris-response
Compare 2 commits »
rhi pushed to main at rhi/gallery 2022-01-02 00:12:04 +01:00
b71e7b59db eggplant emoji ;)
rhi pushed to main at rhi/gallery 2022-01-02 00:04:38 +01:00
ed18b1113e i broke hide_filters oops
rhi pushed to main at rhi/idris2-vim 2021-12-30 13:51:30 +01:00
15bf132540 add \> after %keywords
621b2d9b51 remove duplicate %defaulthint
0bb446f0ff fix typo in %ambiguity_depth
18776d12dc add %builtin
Compare 4 commits »
rhi pushed to main at rhi/ips 2021-12-28 10:26:33 +01:00
bc87a61233 formatting tweaks
bb1a9386eb bump attoparsec dependency, why not
Compare 2 commits »
rhi pushed to main at rhi/ips 2021-12-28 10:10:25 +01:00
d4c5e41223 formatting tweaks
10cf1d6048 bump attoparsec dependency, why not
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-12-23 19:06:16 +01:00
88338050fc start of type stuff
f363dc3122 add DimEq
730cedc4c0 wap quantities in pi to match grtt
b5cfc7b23b add pushSubsts' to just have the term without proof
568dba6f0b CanShift Dim
Compare 15 commits »
rhi pushed to main at rhi/gallery 2021-12-11 22:29:34 +01:00
3be9e79615 clearForm sets boxes to default not always empty
ccc6272bfd Show expected keys with faulty yaml
Compare 2 commits »
rhi pushed to main at rhi/yummy.cricket 2021-12-05 14:24:52 +01:00
e8dc80e7cb add speaker icon before listen link
5d75f2d696 disable where.html
Compare 2 commits »
rhi pushed to main at rhi/ips 2021-12-05 13:59:37 +01:00
7ea7f6276d formatting tweaks
dce2354151 bump attoparsec dependency, why not
Compare 2 commits »
rhi pushed to main at rhi/gallery 2021-12-03 11:16:25 +01:00
86f05803c7 check for unused (maybe misspelt) keys
rhi opened issue rhi/gallery#10 2021-12-03 08:55:15 +01:00
do something about konqueror lying
rhi pushed to main at rhi/gallery 2021-12-03 07:25:00 +01:00
4ce2eb2347 fix font size on dialog buttons