Melissa Chen

When I started playing a few weeks ago, I was very put off by the fact that at the time, the click point of the chisel was at the top...

The single-quoted things are character literals, not string literals. See [the Haskell report](https://www.haskell.org/onlinereport/lexemes.html#lexemes-char) for their syntax. Both character and string literals support a number of escape sequences not commonly found...

While a char literal may be preceded by an operator or other syntactic entities without spaces, it seems it cannot be preceded without space by a regular identifier or alphabetic...

To perhaps clarify, a name quotation is one or two single quotes immediately before an identifier. In the case of `'ab'`, the name quoted is `ab'`, that is, the second...

The given match could also be a mistake for a pattern binding like `F x : xs = …`, even though that was not the case here.

The more usual is to use `idris --codegen java hello.ibc -o hello`, instructing `idris` to invoke `idris-java` itself.

I likewise encountered this error on an entirely different program and appreciate the workaround, but would like to point out that rather than deleting files, one can disable the `icu`...

I wanted this function a couple weeks ago. Of course I just used `filterWithKey`, but I had to check for the absence of `filterKeys` first.