Henry Story
Henry Story
In chapter 1 you mention counterfactuals as equivalent to 0 the initial object. But they have a lot more structure than 0. An example taken from the 1973 book [Counterfactuals](https://www.wiley.com/en-us/Counterfactuals-p-9780631224259)....
That was a talk given in 2017 or so and it is cited has having been transcribed by Ansten Klev. But I can't find any version of it online. See...
I raised the problem on the Scala IDE mailing list here: http://youtrack.jetbrains.com/issue/SCL-4371 It has made me scratch my head for way longer than I should have. I was assuming that...
In the [banana-rdf](https://github.com/w3c/banana-rdf/) github Scala project I am not able to get the sbt-idea or sbt to download the transitive dependencies for the Jena maven source jars. I have tried...
As far as I can tell the above picture tells me that (0 1)(1 3 2)=(0 1 3 2) but from my calculations it is (0 3 2 1) which...
Hi, I have been following the Prof Macauley lectures on Groups in order to better understand examples in Category Theory where morphisms of groups play an important role (see [Twitter...
In emacs loading an Agda file from an already loaded file reached by clicking on link loads the reached file. That is actually quite nice when exploring code. I find...
I think emacs allows one to use the up and down arrows for the normalisation field, to scroll through the history of previous normalisations. It would be useful to be...
Agda makes it very nice to write condensed mathematical formulae. But it is often very difficult to work out what the precedence of parts of a formulae are if one...
Agda-mode for vscode is a big improvement over emacs by allowing one to see the definitition of any expression by hovering over it with command key pressed. But it would...