Norman Ramsey
Norman Ramsey
For people who want to make executable noweb files, it would be civilized to have noweave ignore an initial hash-bang line. Probably as the default. Unclear if an option would...
At least `noweave`, and probably others, don't handle filenames with spaces. I'm reluctant to introduce a dependency on bash, but I would need some help to figure out how to...
Moscow ML seems to be applying functions the Caml way, rather than what is called for in the Definition of Standard ML. The manual says to report this deviation as...
I'm trying to build mosml on OSX. But there's no `` file on my system. There is a `` and a ``.
I love using this app to browse the forums. (When confronted with the regular web site, my phone loses its saving throw.) But the app doesn't respect the `[o]spoiler tags[/o]`....
## Proposed Behavior When a buffer is rendered using `markdown-mode`, links are set up in such a way that a mouse click on the link will follow the link (e.g.,...
I've defined objects using the following code (complete code in attachments): ``` test_shape :: ℝ -> SymbolicObj2 test_shape k = intersect [ implicit (shape k circle_diameter_bottom (twice circle_height)) ((-9, -5),...
For some time I have been using pandoc to create two-column PDF documents via LaTeX. (This can be accomplished with some abuse of the `fontsize` variable.) However, in the transition...
Except when necessary, I prefer not to install into /usr/local as root. My setup is as follows: ``` $ ls -ld /usr/local/bin /usr/local/share/man/man1 drwxrwsr-x 3 root staff 4096 Jun 8...
Quick note resulting from a meeting.