Brian Beckman
Brian Beckman
I found recently that your refcard doesn't format properly in recent versions of emacs and org-mode ``` #+RESULTS: : Emacs version: GNU Emacs 24.5.1 (x86_64-apple-darwin13.4.0, NS apple-appkit-1265.21) : of 2015-04-10...
I had a misunderstanding of sharing of instance variables in my last pull request. This one corrects the misunderstanding and adds clarified examples, plus it has all the other commits...
I noticed "single object category" a couple of times in the description of monoids. This must be hyphenated as "single-object category" by the punctuation rule requiring hyphenation of compound adjectives...
I gave a couple of hours to trying to build (failed due to syntax error in configure after autoconf configure.ac), then trying to install (failed due to 'broken packages held;...
Consider using the Pint package for Units and Quantities http://pint.readthedocs.org/en/0.6/ It seems well developed and tested. I've used it in several projects and cross-checked it with Wolfram Mathematica. EDIT: it's...
Please consider SetAttributes[eqv, Flat] eqv[p, q, q, p] /. eqv[x_, y_] :> {x, y} which produces {q, eqv[q, q, p]} in mathics, and {eqv[q], eqv[q, q, p]} in Mathematica. This...
changed example in docstring to a vector of steps instead of an unquoted list of steps. The latter gives false impression that m-chain might be a macro that doesn't evaluate...
Apologies if this is the not the proper place to propose new features. Please let me know if this is improper and I'll transport my request to the proper place....
While reading [Ch. 11](https://proofgeneral.github.io/doc/master/adaptingman/Configuring-Tokens/) I found [this link](https://proofgeneral.github.io/doc/master/adaptingman/ProofGeneral/Unicode-support.html#Unicode-support), which goes to 404.
https://nextjournal.com/sicm/ex-1-3 https://www.dropbox.com/s/fxupmkkgscr5w22/Screenshot%202023-02-16%20at%206.40.02%20AM.png?dl=0