Trebor Huang
Trebor Huang
It should be noted that the compilation of the shaders depend on the architecture and not on the system. That should explain the difference.
After looking at some materials, I think a good candidate is `^-comp` standing for comprison maps. Generally, when some functor is expected to respect some structure, there's often already a...
There is also a deprecated API in use. I'm a bit tight on time finishing schoolwork, but after a few days I may come back with a PR.
A random guess: since you are on a case-insensitive system, does your module name agree exactly with your file name (including case)? See #5508
Would anything break if we allow a reduction rule to be enabled and disabled? `with` clauses sometimes don't work when the type is a reducible definition, so it might break?
> really? > > why not: > > * store a copy of the entire player object somewhere > * undo = overwrite current player object with the copy That's...
Unless the whole thing is designed with this in mind it would be very hard.
The keys on the numpad are counted as different, so you need to account for them.
Dunno, any ideas? First of all I *don't* want to implement type checkers.
I think this will be a repo about polarized (linear maybe) language