Dennis comments

Results 8 comments of


                                            Dennis

Black rectangles in Minish Cap without BIOS

This could be closed once https://github.com/skylersaleh/SkyEmu/blob/dev/src/gba_bios.h is regenerated from the latest version of the COG BIOS

Add a (work in progress) package on model categories / weak factorization systems

> A general question: You have defined the arrow category, however, the definition of morphismclass does not make use of this. Why did you not define morphismclass as a subtype...

Add a (work in progress) package on model categories / weak factorization systems

> Thanks a lot for filing this PR. I have made a few small comments. > > Can you describe what the issue is with the admitted proof? You could...

Add a (work in progress) package on model categories / weak factorization systems

> > > Thanks a lot for filing this PR. I have made a few small comments. > > > Can you describe what the issue is with the admitted...

Add a (work in progress) package on model categories / weak factorization systems

> @DenSinH : do you have any questions about the suggestions made to this PR? Is anything unclear? Nope! Sorry just forgot to make the changes, I'll add them tomorrow!

Add a (work in progress) package on model categories / weak factorization systems

I'm not sure how to fix this issue with the clashing notations...

Homogeneous element of tagged unions stops on first failure

I figured this would be the best solution. Sadly, there are other fields which I _do_ want to ignore, as the model I am trying to parse is quite large,...

Recursive tagged unions fail to create serializer

Ah, I didn't know this was a known issue. I figured this was the problem, I thought perhaps it could be solved in a similar way to more direct self-referential...