Andrey Mokhov

@jacereda I've tried this on Windows but it doesn't seem to work. I tried both ``` fsatrace verwmdq 1.out -- gcc 1.c ``` and ``` fsatrace verwmdq! 1.out -- gcc...

@bolt12 Yes, I suspected that this implementation would be slower. One of the problems is that there is a lot of padding (`padLeft`/`padRight`) in the implementation of `linearMap`. I suggest...

@bolt12 I think we can implement `matrixBuilder` type-safely. I've just pushed a quick experiment, although I haven't had enough time to see how well it scales for `Generic` data types....

> I also have a `Relation` module that uses a similar type to `type Relation a b = Matrix Bool a b`! Ah, indeed, got it! > There must be...

@bolt12 Awesome! Could you show the full code?

@bolt12 Thanks but I meant the full code, including the implementation of various other key functions like `kr`, `>

@jitwit Thanks for doing this! I'm a bit terrified about the combinatorial explosion in modules but no idea what to do about it :)

@jitwit Yep. At some point, I also had a representation based on arrays but then deleted it too.

@jitwit Hey, welcome back! All is good and I hope you're good too. Nice new avatar 👍 The plan looks fine to me, looking forward to future commits :)

@zyklotomic Hi there! I think @jitwit run out of steam a bit, so it would be great if you could help. Let's give @jitwit a week to comment. If we...