James Cranch
James Cranch
It is possible to make the code for merge tactics generic (so it can be used for Map and IntMap without duplication, and could also be used for other map-like...
xdg-ninja is good at explaining how to alter bashrc scripts, but it doesn't explain where to move the files that it's complaining about (except in the situation where no bashrc...
Bailii's files contain lots of links. We should read them and process them: - if it is a link to another judgment on bailii, we should try to promote it...
By now, the interface to the formatter provided by run.py has a set of command-line options that is becoming bewilderingly numerous and also annoying to use. But on the other...
We need to better utilise the metadata we have collected. There are several things we have which we are not using at all: - crossreferences in to each page -...
If we have to abort processing any file, for example in many cases if exceptions of various sorts are raised, a message is written to a log. It is well...
Currently, the HTML we generate does not validate; validation is clearly a desirable aim.
The `Data.Trie.Internal` documentation says "This module is for developers who need deeper (and less stable) access to the abstract type", but it doesn't provide access to the constructors (unlike `Data.Map.Internal`,...
This fills in a gap: we currently have: * `fmap`: no indices, no possibility of removal * `filterMap`: no indices, may remove elements * `mapBy`: indexed, may remove elements This...