Norman Ramsey
Norman Ramsey
nflvid-footage wants to pass the option `-timeout 120` to `ffmpeg`, but mine doesn't support it. When I change ffmpeg, lots of things tend to break, so I'd be happier if...
I tried to build Haddock documentation for a project I am working on, but I could not make progress: ``` nr@homedog ~/a/sandbox> cabal haddock cabal: renderBuildTargetProblem: unexpected status (TargetDisabledByUser,Nothing) CallStack...
Context: I just started using Emacs `lsp-mode` with `haskell-language-server`. I already find it baffling that some of the `lsp-ui-mode` popups have links to Documentation and Source, while some don't. But...
Using emacs 24, I'm trying to use mmm-mode with noweb and C code. But the indentation is not working correctly. Here's an example cut from a very large file: ```...
Paper size no longer defaults to a4. Instead, it is taken from /etc/papersize or from an argument to configure.
I don't like to grant root permission when not necessary. The Haskell platform needs only to be able to write into `/usr/local`, and if the scripts don't find themselves with...
I run a 32-bit Debian Linux system with a 64-bit kernel and some 64-bit packages (using Debian multiarch support). The only available _current_ Haskell Platform I could find was the...
At some point between 20130715 (Debian stable) and 20210117, MLton stopped accepting line directives like the following: ``` (*#line 407 "lazyparse.nw"*) ``` MLton now requires a column number, e.g., ```...
Writing `(check‐expect (gcd 6 15) 3)` bamboozles the interpreter because it's expecting an ASCII hyphen, not a Unicode hyphen. In principle, such inputs could be guarded against.
In the Quantifiers chapter, the proj₁ imported from Data.Product is not compatible with the Σ defined in the chapter. But in exercise Bin-isomorphism, it is suggested to prove a lemma...