Raptazure

icon indicating a website link https://raptazure.github.io/ icon indicating an email [email protected]

icon location ✨ "Imagination bodies forth #=> the forms of things unknown."

Results 4 comments of Raptazure

Cannot run extension on Windows

That should be caused by type checking error. Hovering on anything or using idris repl to get the error message, fix it and this will go away.

Cannot run extension on Windows

> 1. no, it's not related to error > > 2. autocomplete should work when code doesn't compile otherwise it's useless. You started typing something and expect it to suggest...

docs(recursion, pattern matching): fix multiple errors of example code

Oh, thanks for responding. I notice that this example works fine with the repl but gives a compilation error when running `yarn build`. Same with OCaml (`utop` works fine while...

Document use with editor (f.e. emacs)

> Are you launching vscode from inside `ob shell`'s shell? Sent with [ProtonMail](https://protonmail.com/) Secure Email. ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ > […](#) > On Thursday, February 11th, 2021 at 2:48 AM,...