-
```
module Issue1144 {
open inductive NewList (A : Type) : Type
| newNil
| newCons (head : A) (tail : NewList A)
def test : NewList Nat => [ 0 ]
}
```
-
## IST:
"Aktivität" ist eine Spalte, taucht in den Einstellungen aber nicht als Teil von "Spalten" auf
## SOLL:
"Aktivität" bei einem Klick auf "Spalten" anzeigen, z. B. Einstellungen > Spalten > Ak…
-
Please do not change the title. Just click "Submit new issue". You don't need to do anything else :D
-
### What platform were you using when you found the bug?
- React Flow version: 12.3.5
- elkjs version: 0.9.3
### Live code example
_No response_
### Describe the Bug
Hello, on drop of element t…
-
In [`6b22bad`](https://github.com/windstatus/windscribe-vpn-status-uptime-monitor/commit/6b22bad90791fef020cea873de33a32e3bbec2bb
), South Africa Johannesburg (Springbok) (https://za-009.whiskergalaxy…
-
In [`796623e`](https://github.com/iougemini/ikms-uptime/commit/796623ec41b27d0ace9c4a7fc0a1068c994c5d49
), 备用KMS激活服务器 12 (s12.ikms.eu.org) was **down**:
- HTTP code: 0
- Response time: 0 ms
-
In [`51de302`](https://github.com/windstatus/windscribe-vpn-status-uptime-monitor/commit/51de30280dd2ce438ae8324b7e850f214e1fc843
), WINDFLIX UK London (The Tube) (https://wf-uk-001.whiskergalaxy.com:…
-
### KYC Using Your GitHub Account
Please make sure your GitHub account meets the following requirements (all are required):
- [ ] The issue title must be: Request GitHub KYC - Your US.KG Panel r…
-
In [`8ee05ac`](https://github.com/windstatus/windscribe-vpn-status-uptime-monitor/commit/8ee05acad3dbdbc2f43af2d1e2a915ca5b915acb
), Ireland Dublin (Grafton) (https://ie-010.whiskergalaxy.com:6363/lat…
-
In [`f8bb4f0`](https://github.com/windstatus/windscribe-vpn-status-uptime-monitor/commit/f8bb4f06eaf138bdffe13955c76a91f3953d53a9
), Hungary Budapest (Danube) (https://hu-003.whiskergalaxy.com:6363/la…