Trebor Huang
Trebor Huang
### Is your feature request related to a problem? Please describe. When I practice for multiplayer games on my own, I would like to improve the way I attack. But...
I'm writing from the perspective of macOS builds. It solves #352 #339 #345 and so on. It *claims* to solve the @rpath problem, but as far as I've tested it...
For now it might just be the "is playing" thingy. But it will be much more powerful when we have stable multiplayer support, and leagues. [This](https://discord.com/developers/docs/game-sdk/sdk-starter-guide) and [this](https://discord.com/developers/docs/rich-presence/how-to) might be...
Currently in music room, the seek-bar tries to set the music on every frame that it is dragged and moved, which is very unpleasant. The seeking operation should be done...
I'd be happy to make one, maybe just use the Agda bird icon with correct coloring on both light and dark themes?
https://github.com/waddlesplash/QMidi/blob/de0a2b1b3ccc494114353d3eee863bebd6811618/src/OS/QMidi_CoreMidi.cpp#L92-L100 Quoting documentation: > Don’t explicitly dispose of your client; the system automatically disposes all clients when an app terminates. However, if you call this method to dispose the last...
Would it be reasonable to add reflection support for the `REWRITE` pragma? A few features that I can think of: - Allow tactics to read the active rewriting equations (and...
MWE: ```agda {-# OPTIONS --with-K #-} -- will occur with or without this, also occurs with --without-K module MWE where open import Agda.Builtin.Equality using (_≡_) open import Data.Nat using (ℕ;...
I'm locally famous for making projects that end up totally unrelated to their names :P - Write up some even more elementary introduction, starting with NbE of arithmetic operations, also...