isberg

This seems like the issue I had today, but I seem to have solved it by: 1. Uninstall extension 2. Re-install extension 3. Reload page

https://echo.websocket.events/.ws could be used instead, as described on https://www.lob.com/blog/websocket-org-is-down-here-is-an-alternative . An updated Ellie example using that service instead: https://ellie-app.com/gZqtsZdqWGga1

@baynezy I have seen several interesting youtube videos where John Hughes talks about Property-Based Testing and I am pretty sure he talks about model based testing as one specific strategy....

For anyone else struggling on Windows: I solved it by using docker and base image ghcr.io/stefan-hoeck/idris2-pack. I then created my own image where I installed neovim and let pack install...