Ellis Kesterton
Ellis Kesterton
**Platform:** Void Linux **Nuclear version:** 0.6.17 **Description of the issue:** In shuffle mode, it would be nice if shuffle did not repeat any tracks until all of the other tracks...
Currently a lot of our work is done using "system" commands. We should switch to libraries if they are available because: - It's faster, since the command line arguments do...
Given the following module: ```idris module Test data T : Nat -> Type where A : T Z B : (0 n : Nat) -> T n f : T...
`base 4.19` adds a function `unzip` to `Data.Functor` which was clashing with the `unzip` in `Prelude`. I have hidden `Prelude.unzip` since it is less general.
Not sure whether this is known behaviour, but `compile`ing the following example doesn't terminate (it `check`s fine) ```idris data Nat where Zero : Nat Succ : Nat -> Nat Pair...
Using a large number of subcommands seems to give the type checker trouble, and results in very long + high memory usage compile times. For example, consider the program below...
It would be nice if any the README noted if there is any missing functionality compared to `llvm-hs-pure`. (Even if nothing major is missing, then stating that would still be...
The current definition of `IndentOpt` exposes the type variable `b` representing the type of block elements to be parsed. In my opinion it makes more sense to existentially quantify this...
As discussed in #565 . Obviously this is a breaking change, and so is waiting on the next major version release.