Lennart Augustsson

Multi-variate root finder?

2

Are there any plans for a multi-variate Newton-Raphson or Halley root finder? If not, I might contribute one.

Make Windows installation easy

9

I tried installing Koka on Windows. After some fiddling I gave up and installed it in WSL instead. Given that Koka comes from Microsoft, I expected Windows installation to be...

Ormolu uses too much vertical space

3

I frequently work on a laptop with quite limited vertical space. There's only so much context I can/want to keep in my brain. I find the formatting used by Ormolu...

Cannot run shell script as a preprocessor

1

I have a problem with my package [MicroHs](https://github.com/augustss/MicroHs) I need to run a preprocessor on all Haskell files. The command line has the following `... -F -pgmF ./Tools/convertX.sh ...` This...

Field Syntax Reference bugs

8

In section 10, Field Syntax Reference there are many bugs. Here are some I found today: - main-is: is a field for executables also - extra-source-files: does not require a...

Misleading error message when `cabal.project` does not have `packages` field

14

The error message claims there is no .cabal file nor a cabal.project, when in fact they both exist. ``` Verse$ cabal --version cabal-install version 3.4.0.0 compiled using version 3.4.0.0 of...

Add MHS as a recognized compiler.

6

The title says it all.

Various KnownNat and solver issues

1

Some examples * (KnownNat (a-b)) does not simplify even if a >= b is known * (KnownNat (Div a b)) does not simplify even if b >= 1 is known....

Make it build with MicroHs

1

The title says it all

MicroHs

15

Are there any plans for Miso to support MicroHs?