Pramoth Ragavan
Pramoth Ragavan
> @pramothragavan please let me know when you think this is ready again, and thanks ! Will do!
Hi — there are definitely some kinks to be dealt with, but I think it would be a good place to start! > On 28 Jan 2025, at 15:15, Michael...
This is a significant overhaul on previous versions -- `WriteDreadnautGraph` is untouched, but the decoder has been completely rewritten. As @james-d-mitchell suggested, I've taken the parser used in the dreadnaut...
#485 I think this is basically complete, but I don't really like some of the behaviour with `ReadDigraphs`. As @james-d-mitchell requested verbally, I've implemented the hashsets `WholeFileEncoders` and `WholeFileDecoders`, which...
@mtorpey I don't think I ever got round to it! Maybe one to reassign