Curt J. Sampson
Curt J. Sampson
This set of changes makes this compile on modern (Debian 9, GCC 6) Linux platforms and I'd imagine it will also work on most other POSIX or vaguely POSIX-ish platforms...
Setting `{-# LANGUAGE UnicodeSyntax #-}` in a source file allows us to use, e.g., `→` and `∷` as `->` and `::`, but this doesn't apply to Liquid Haskell code, which...
See the commit message(s) for details. (I avoid duplicating them here because the commit messages are being updated as we review.) Feel free to change the commit message (or anything...
The Docker image build was broken due to using a bad mirror; remove the mirror to fix this in a way that it's unlikely to recur. Fix a few bugs...
MacOS systems using MacPorts, among others, do not have libpng and liblz4 include files and libraries in the standard system paths; this ensures that wherever they are, they're added to...
There are about 28 pages of changelog and other information in the README before you get down to the part that gives you an overview of what this is, and...
On a traditional terminal, such as an ADM-3A or VT-100, it's possible to send both CR (0x13) and LF (0x10) characters. CR is sent with the "Return" key or Ctrl-M,...
My standard ghcup config file (shared amongst many machines via [dot-home](https://github.com/dot-home/dot-home)) includes comments describing what the various changes from the default config do, the reasoning behind them, and giving links...
In `ghcup tui` the tool name and version of of the one marked 'latest', if not installed, is in a different colour from all other tool names and versions: light...