Oh, also, would you like me to add some documentation? Figuring out Alexis' system was a bit of a pain for me.
On Sat, Aug 25, 2018, 16:27 Reuben Staley <reuben.sta...@gmail.com> wrote: > I didn't include them because I was afraid that there would be more CFJs I > should add to the list that someone would get mad at me for not including. > If you would like to take the office of Rulekeepor, I can write some code > to include annotations and you can deal with adding the new ones because > I'm sure as heck not knowledgeable enough about CFJs to do so. > > On Sat, Aug 25, 2018, 16:22 Timon Walshe-Grey <m...@timon.red> wrote: > >> I've been looking into the possibility of taking over Rulekeepor, in the >> absence of any other willing candidate, and have been looking through your >> ruleset generation system. >> >> One thing I'd like to ask (to everyone, not just you) is whether the >> inclusion of major CFJs in the Full Logical Ruleset is important. >> Historically, they have been listed as annotations to the rules they >> interpret (as in, for example, the two-month-old version at >> https://agoranomic.org/ruleset/flr.txt), but your version doesn't >> include them, and rule 1681/21 doesn't require them to be included - it >> just says "any other information which [the Rulekeepor] feels may be >> helpful", and even then it's a SHOULD, not a MUST. >> >> The thing is, I have no idea where to find information about historical >> CFJs other than that two-month-old FLR, and I certainly haven't been >> keeping track of CFJs over the last couple of months. So if they are an >> integral part of the FLR, it's not a job I can reliably take over, at least >> not yet. >> >> -twg >> >> >> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ >> On August 4, 2018 5:09 AM, Reuben Staley <reuben.sta...@gmail.com> wrote: >> >> > So I've been on vacation for a while and instead of relaxing like a >> > normal person, I decided to make some more up-to-date rulesets. >> > >> > But not only that. >> > >> > I couldn't figure out how to install the Haskell code's dependencies so >> > I went and rewrote the entire thing in Python. >> > >> > My hope is that with an easier language to develop with, and with only >> > one dependency, it will make the position of Rulekeepor more enticing. >> > >> > So, uh, yeah. >> > >> > SHORT LOGICAL RULESET: >> > https://github.com/AgoraNomic/ruleset/blob/trigon/slr.txt >> > >> > FULL LOGICAL RULESET: >> > https://github.com/AgoraNomic/ruleset/blob/trigon/flr.txt >> > >> > I do not intend to deputise for Rulekeepor. Rulekeepor and Cartographor >> > simultaneously would be far too much work for me to handle, especially >> > with summer ending soon. >> > >> > But for the time being, these are at least a little more up-to-date. >> > >> > Enjoy. >> > >> > Also, there are likely a good few mistakes. Please point them out. >> > >> > >> ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ >> > >> > Trigon >> >> >>