larsr

coqc infinite loop in type class resolution

7

#### Description of the problem Compiling this program makes `coqc` go into an infinite loop. Note that there is a "bug" in the program because I commented out `(Equivalence F)....

JSONLoader should be supported (please)

2

It would be wonderful to be able to load in threejs-json models using the [THREE.JSONLoader()][1] api, but AFAICT it does not seem to be implemented yet. [1]: https://threejs.org/docs/#api/loaders/JSONLoader

Cant compile with recent versions of servant

4

When using versions of [servant](https://hackage.haskell.org/package/servant) higher than 0.16.2 I get the following error when I compile ``` gogol-core > [6 of 6] Compiling Network.Google.Prelude gogol-core > gogol-core > /run/user/1000/stack-ad522337ea560fac/gogol-core-0.5.0/src/Network/Google/Prelude.hs:31:1: error:...

Logged-in offline players' names change when new offline players log in, and players get mixed up in the Bukkit server.

5

I am using the modded bukkit server in offline mode. First I log in with one offline player as "Alice". Then I log in with another offline player as "Bob"....

Request: Support Apple Keyboards with Bluetooth

1

Hi. First of all: Big thanks for this! I'm using the nix version of autokbisw on a MacBookAir x64. I have a _Magic Keyboard with Touch ID and Numeric Keypad_...