Nathan BeDell

[BUG] Resolution error with proofs plugin when using certain types from other packages.

5

**Describe the bug** When using `@Given` annotations with the arrow proofs compiler plugin, and using an `@Given` context that references certain classes in a different package from where the `@Given`...

**Describe the bug** When using the latest snapshot of the proofs plugin (2.0.0-SNAPSHOT) and using it to test out a generic numeric function with given instances for `Int` and `Double`...

Feature request: Multiple rewrites in a single command.

1

Consider the following sequence of comby re-writes used to refactor an `Option`-like data structure to just using nullable types in ``` comby 'AlertResult' ':[x]?' -in-place .kt comby 'AlertResult.Ok(:[x])' ':[x]' -in-place...

Running `nix-build -A ghcjs.frontend -o result-frontend` in [my reflex project](https://github.com/Sintrastes/montague-reflex) on ARM64 Ubuntu 20.04.4 LTS, I get the following error: (Note: Similarly to my remarks in [this issue](https://github.com/reflex-frp/reflex-platform/issues/775) -- if...

Support for ARM host builds of Android targets?

1

The documentation for [obelisk](https://github.com/obsidiansystems/obelisk#android) (which I believe is using reflex-platform for android build support -- hence why I'm posting that here. If that's incorrect, I can move this issue over...

Website down?

9

I'm trying to get eta/etlas setup to compile a pretty straightforward cabal project to the jvm using eta on wsl, and it appears certain parts of the eta-lang website nescesary...

## Description I am trying to port a project of mine to the jvm via etlas, and it depends on the acme-iot package in hackage. ## Expected Behavior The package...

Add support for Inkuire?

2

[Inkuire](https://github.com/VirtusLab/Inkuire) is a type-directed API search engine for Kotlin and Scala 3. Would be nice if this were included as part of the scaladoc generation for the indigo website.

Add support for interacting with the Electron API from a game.

2

This should be possible, but currently as far as I can tell, Indigo doesn't expose any APIs for it. I'm not entirely sure what the best way to expose such...

Add a `Camera` that centers on the given point, but will never display contents outside of a given bounding box.

2

A lot of top-down RPGs have a camera style where the camera is always centered on the current player, unless the player is near the edge of the current map,...