rhi
/
blog
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
31 Commits 1 Branch 0 Tags 947 KiB
Commit Graph

7 Commits

Author SHA1 Message Date
rhiannon morris 32edbb1816 a bunch of stuff sorry 2023-12-28 01:00:37 +01:00
rhiannon morris 1e7423fffe add ats post 2022-09-17 20:57:25 +02:00
rhiannon morris 6e1e83ff7b beluga syntax 2022-07-12 21:19:03 +02:00
rhiannon morris 16354224d4 try and fail to fix maude tokenising 2022-03-16 18:40:30 +01:00
rhiannon morris c82d5cdb44 maude syntax updates 
- negative rationals
- fix string escapes
- ±Infinity
- strategy modules, decls, etc
- some arrows etc i missed
 2022-03-16 05:12:23 +01:00
rhiannon morris 256706b285 pick the kateversion from a file in the repo 2022-03-15 04:44:09 +01:00
rhiannon morris e5d888ae01 add maude syntax 2022-03-15 04:40:25 +01:00