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-07-23 04:32:11 +02:00
0f515252ad some syntax stuff
rhi pushed to main at rhi/agda-prelude 2021-07-09 08:23:39 +02:00
ed0a773c2f First
rhi created repository rhi/agda-prelude 2021-07-09 08:23:25 +02:00
rhi pushed to main at rhi/quox 2021-07-07 13:24:00 +02:00
d4ad899b2e first
c988692987 wip type stuff
a3f18af38d fix comment typo
1c27962cdf rename qty stuff
2bfa05b873 export substT' & substE'
Compare 14 commits »
rhi pushed to haskell at rhi/quox 2021-07-07 13:23:44 +02:00
rhi pushed to main at rhi/quox 2021-07-07 13:23:37 +02:00
c988692987 wip type stuff
a3f18af38d fix comment typo
1c27962cdf rename qty stuff
2bfa05b873 export substT' & substE'
1b99c3d0a7 fix substExtEq
Compare 6 commits »
rhi pushed to main at rhi/quox 2021-07-01 05:22:39 +02:00
6519302724 fix + extend subst tests
2656336b23 Π needs two quantities
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-06-29 17:16:18 +02:00
6756084f61 add 0/1/ω quantities
255668d7c9 add 0/1/ω quantities
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-06-29 17:14:54 +02:00
255668d7c9 add 0/1/ω quantities
8372c4c3ae rename ρ substs to θ
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-06-28 21:16:33 +02:00
dbebd1265d core syntax for functions + explicit substs
f72bd86eff core syntax for functions + explicit substs
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-06-28 21:15:55 +02:00
f72bd86eff core syntax for functions + explicit substs
3ee64997b2 core syntax for functions + explicit substs
Compare 2 commits »
rhi pushed to main at rhi/quox 2021-06-28 21:14:54 +02:00
3ee64997b2 core syntax for functions + explicit substs
fc689cc20c core syntax for functions + explicit substs
Compare 2 commits »
rhi pushed to new-glyphs at rhi/lang 2021-06-20 21:28:59 +02:00
ec054eab8f m glyphs
rhi pushed to main at rhi/yummy.cricket 2021-06-08 01:35:49 +02:00
d1a5e30059 make sure the gif has crispy pixels
389ce80df6 add 2x bg image
2caada2bdd re-add https:
f0ef814c1a rewrite js
Compare 4 commits »
rhi pushed to main at rhi/gallery 2021-05-29 04:49:18 +02:00
3bbe9d6109 no line breaks for years
2e0a51dcbc make page width more suitable for huge screens
08d4c065ac shift shaped images into the margin a little bit
50d34bbd70 use min-height instead of height
cae894c7ba look through symlink for data dir
Compare 6 commits »
rhi pushed to main at rhi/yummy.cricket 2021-05-25 16:04:08 +02:00
2996642ee5 make links light up on tab too
9311ec7173 make audio less quiet
f440410b76 improve non-js audio fallback
Compare 3 commits »
rhi pushed to main at rhi/yummy.cricket 2021-05-25 00:59:45 +02:00
d4e6d5b6d8 reorder stats again
2c84aba7f4 lfs-ify sounds
ab97e4c701 add icons to links
Compare 3 commits »
rhi pushed to main at rhi/yummy.cricket 2021-05-24 11:42:12 +02:00
ba6f115b8e change upload command
17a34bb236 add miku recording
644fae8514 rename images to media
8e865e68bf replace ipa font
Compare 4 commits »
rhi pushed to main at rhi/yummy.cricket 2021-05-24 09:57:44 +02:00
65b8c092b9 swap order of links & stats
f957388787 remove unused images
49f004ea92 use normal blend on ℹ️ icon
35d1c517ec make hr brighter
b4122e4c5c new border style
Compare 12 commits »
rhi pushed to main at rhi/ips 2021-05-07 14:38:15 +02:00
4384e70426 cabal file cleanup