-
Hi! The error messages after unifying seem to appear in the wrong place. Simple example:
```
data A {a}
data B {b}
data C (a : A) {}
let f : C (b) {b}
```
In this example I expect `C` to b…
-
Prepare a test plan
- [ ] Share to P2
- [ ] Attach to PT
-
Previously the repository was configured to deploy model documentation to a GH pages site at [https://bfurner.github.io/bdchm/](https://bfurner.github.io/bdchm/) on each successful merge of a PR. Thi…
-
## Issue will be closed if:
> 1) You mention more than one algorithm. You can create a separate issue for each algorithm once the current one is completed.
> 2) You propose an algorithm that is …
-
In [`adb973e`](https://github.com/FearedFusionX/Ro-Status/commit/adb973e4d7b043e8d1ac23d4c340ac5c1ab51eec
), Develop API Endpoint (http://develop.roblox.com/) was **down**:
- HTTP code: 404
- Response…
-
In [`5422bac`](https://github.com/FearedFusionX/Ro-Status/commit/5422bac529639656dc78fef63c9d310ef7376b75
), Datastore API Endpoint (https://gamepersistence.roblox.com/) was **down**:
- HTTP code: 404…
-
In [`dead83f`](https://github.com/FearedFusionX/Ro-Status/commit/dead83f7c3c8a2abf61a5c57031f638a1f9dd938
), Billing API Endpoint (https://billing.roblox.com) was **down**:
- HTTP code: 404
- Response…
-
### KYC Using Your GitHub Account
We use automated scripts to approve requests. Please make sure your GitHub account meets the following requirements (all are required):
- [ ] I have starred thi…
-
Is there a typo in [unbound.conf](https://unbound.docs.nlnetlabs.nl/en/latest/manpages/unbound.conf.html) for the default value of the `harden-short-bufsize` argument. I think its default value should…
-
The currently used one [here](https://github.com/0xDmitry/hacktheton/blob/dev/packages/website/public/shiki/languages/grammar-tact.json) is an outdated grammar from either older versions of VS Code ex…