rhi
0 followers · 0 following
  • Joined on 2020-06-11
Repositories
32
 Projects Packages Public activity Starred repositories
rhi pushed to main at rhi/blog 2022-03-16 18:40:47 +01:00
16354224d4 try and fail to fix maude tokenising
6a7d65d421 use :::aside instead of <aside>
81041fdb30 posts depend on syntax defs
345a39c885 update lang
Compare 4 commits »
rhi pushed to new-glyphs at rhi/lang 2022-03-16 18:37:28 +01:00
a5b55b6a57 m glyphs
b5fde8f205 add glyph fields for vowel attachment points [not used yet]
284094ec4f make diacritics width-aware
acc07cf6aa more glyphs
b7617b9d97 more glyphs
Compare 14 commits »
rhi pushed to main at rhi/lang 2022-03-16 18:37:01 +01:00
604da055e4 add :::aside support
rhi pushed to main at rhi/lang 2022-03-16 18:32:00 +01:00
d34bdf5168 add :::aside support
rhi pushed to main at rhi/blog 2022-03-16 05:12:33 +01:00
c82d5cdb44 maude syntax updates
rhi pushed to main at rhi/blog 2022-03-16 04:57:35 +01:00
4ff8544249 maude syntax updates
dede580ecf parallel doesn't like an empty list
Compare 2 commits »
rhi pushed to main at rhi/maude-vim 2022-03-16 04:47:01 +01:00
86f0e421f4 constants
rhi pushed to main at rhi/maude-vim 2022-03-16 04:44:17 +01:00
6b3bfd2c46 constants
rhi pushed to main at rhi/maude-vim 2022-03-16 04:37:33 +01:00
98a9f02480 constants
rhi pushed to main at rhi/maude-vim 2022-03-16 04:21:23 +01:00
21e4a63b6f fix view
rhi renamed repository from maude.vim to rhi/maude-vim 2022-03-16 04:14:09 +01:00
rhi pushed to main at rhi/maude-vim 2022-03-16 04:13:33 +01:00
49d887ad30 remove some commands that don't show up in files
e704492f57 add strat modules
d39adb911e first
Compare 3 commits »
rhi created branch main in rhi/maude-vim 2022-03-16 04:13:33 +01:00
rhi created repository rhi/maude-vim 2022-03-16 04:13:19 +01:00
rhi pushed to main at rhi/bqn-vim 2022-03-15 15:38:57 +01:00
e51a0ae2ca highlight the whole of system functions
rhi pushed to main at rhi/blog 2022-03-15 04:44:12 +01:00
256706b285 pick the kateversion from a file in the repo
rhi pushed to main at rhi/blog 2022-03-15 04:42:42 +01:00
bffa11780e add digitle post
ccd9024861 fix header weights
143e43e088 enable :emoji:
4d53deabf4 remove yaml from STATICEXTS
e5d888ae01 add maude syntax
Compare 5 commits »
rhi opened issue rhi/quox#1 2022-03-07 01:31:03 +01:00
add :pet command
rhi pushed to main at rhi/quox 2022-03-07 01:22:22 +01:00
3ea12fef67 important feature: banner
rhi pushed to main at rhi/quox 2022-02-27 02:19:27 +01:00
8f860cc1be an agda file that is kinda like how datatypes would be encoded in quox
f7571ce6c3 add makefile for deps
071704076e add start of Quox.Equal
362c9354cf add Var.tighten*
ddba87262d add Injective instances, etc
Compare 23 commits »