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

4 Commits

Author SHA1 Message Date
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