Wen Kokke
Wen Kokke
See #957. > @buggymcbugfix wrote: > My bad, I just noticed that several paragraphs further down, there is the following explanation: > > > You may have noticed that `ℕ`...
The tagged releases seem to delete the `agda-tests` entry from `Agda.cabal`. I suppose this is so that people running `cabal install Agda` don't get an `agda-tests` executable on their system....
I'd like to replace Agda's various home-grown configuration files with a well-known and well-supported _consistent_ format. Currently, Agda uses various different and un- and underdocumented formats: - `.agda-lib` files -...
The following piece of Haskell code is SOMETIMES incorrectly parsed as containing a series of top-level splices. ```haskell id :: a -> a id x = x const x y...
When parsing a function with a where-clause, tree-sitter-haskell groups comments after the where-clause into the decls node, rather than making them top-level comment nodes. For instance, the following code: ```haskell...
The package declares a dependency on `aeson-pretty` but didn't use it: https://github.com/well-typed/cborg/blob/41498491994c709091b82b799a76a71295b3186e/cborg-json/cborg-json.cabal#L35 This is probably a holdover from debugging, and can safely be removed.
Adds support for the Haskell programming language. ### Roadmap - [ ] `argumentOrParameter`: - [x] `argument.actual` - [ ] `argument.actual.iteration` Blocked on one of: - #557 - #2177 - [x]...
Add a scope type to target data constructors, such as: ```haskell compare :: Int -> Int -> Ordering compare x y | x < y = LT -- ^^ constructor...